let box_int_to_exp (n : int64) (ye : typ) : exp = let tp = unrollType ye in match tp with TInt (i, _) -> kinteger64 i n | _ -> raise Not_an_integer