I just thought a note like the one you already made in line 58:
```# XXX if this changes then free_symbols must be modified```