dec F { a = input t = 1 l: t * a a - 1 jnz a l: ret t } dec M { l: a = F print a jmp l: }