gen_tailRecM
Compat