symbols.py revision ded79af4
1