[bugsy0]

fprintf(stdout,"hello world");