Total: 6
0: [0] attn: (x * 1) >> 0
1: [1] attn: (x * 1) >> 0
2: [-1] attn: (x * 1) >> 0
3: [-1] attn: (x * 1) >> 0
4: [-1] attn: (x * 1) >> 0
5: [-1] attn: (x * 1) >> 0
ffrec: no bad-residue bufsize exists -- over-return precondition eliminated; feed_mixer_rec cannot wrap
ffrec: clean