let make_null_pointer t ~orig = 
  make_expr_t (CTTexpConstant CTTconstNull) t ~orig