[anticensor]

I would prefer gccboot (with gcc -march=native -mtune=native) though, because tccboot cannot optimise the output.