src/HOL/Boogie/Tools/boogie_loader.ML

         | "bvxor" => const @{const_name bitXOR}
         | "bvadd" => const @{const_name plus}
         | "bvneg" => const @{const_name uminus}
         | "bvsub" => const @{const_name minus}
         | "bvmul" => const @{const_name times}
+(* FIXME:
         | "bvudiv" => const @{const_name div}
         | "bvurem" => const @{const_name mod}
         | "bvsdiv" => const @{const_name sdiv}
         | "bvsrem" => const @{const_name srem}
         | "bvshl" => const @{const_name bv_shl}
         | "bvlshr" => const @{const_name bv_lshr}
         | "bvashr" => const @{const_name bv_ashr}
+*)
         | "bvult" => const @{const_name less}
         | "bvule" => const @{const_name less_eq}
         | "bvugt" => const2_abs @{const_name less}
         | "bvuge" => const2_abs @{const_name less_eq}
         | "bvslt" => const @{const_name word_sless}