let integer_of_value = function
    | M.V_int(_,t) -> t
    | v -> Wp_parameters.fatal "integer_of_value %a" M.pp_value v