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