do stdout.printf("SPAM\n"); while(true);