let get_integer_constant_value e = match e.expr_t with CTTexpConstant (CTTconstInteger c) -> c | _ -> raise (TypeError_typed(e,"not an integer constant"))