encode.c: encodegen.py ./encodegen.py 1277 2627 2627 3939 True True > encode.c touch -r encodegen.py encode.c