fmm:: -> fmmtl::
Compiler generalize and check