Hello world program
stdout.printf("Hola mundo\n");