fm.if, fm.while