Create defs.py