#include <stdio.h>

void output(void);

int main(int argc, char *argv[]){

  output();
  return 0;

}

void output(void){
 
printf("Hi there\r\n")
}