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