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