Support Python 2+3
s/int/symint/

This is the *one* change that is currently required to the Zoobar
application, and it was also performed in lab3.