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