1.3.2

• Re-evaluate *_needed, use them as counters instead of flags. This eliminates unused variables in the generated code if multiple put or get tokens occur only in unreachable code.

1.4 ?

• Study for more absolutification (reuse put_head_absolute?)