Code Editor : shrinker.py