bin/semtex.c