moved stdlib.py to workshop