Create semtex0.py