fails:main#public raises a NameError when given an undefined name
