let
alloc : mem_alloc
->
F
.name
->
mem_alloc =
F
.e_app2
"rt_valloc"