let userdef_mem_signature m = [m.vbits,Mem ; m.valloc,Alloc]