let rt_gsize : D.name -> t_size = D.e_app1 "rt_gsize"