let
rt_vsize :
F
.name
->
t_size =
F
.e_app1
"rt_vsize"