Code Editor : randpool.pyc