1 2 3 4 5 6 7 8 9 10 11 12
#include <stdio.h> int main (int argc, char *argv[]) { write (1, "hello\n", 6); exit (123); }
