[Python-Dev] Is there a reference manual for Python bytecode?