teensy tiny executables are fun