let
alloc : mem_alloc
->
D
.name
->
t_size
->
mem_alloc
=
D
.e_app3
"rt_valloc"