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