Create defs-pretty.py