let int_of_value = function
    | M.V_int(_,t) -> t
    | _ -> assert false