let userdef_ref_apply (_:mem) (_:formal) (_:loc) : value = assert false