Create stdlib.py