#include <stdio.h>
#include <stdlib.h>
#include <unistd.h>
int main(void){
   printf("Hello");
   _exit(0);  //does not
              //flush stdio buffers
}