extract constants from C-like files and emit them in Python