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