1 #include <stdio.h>
cio_(void)2 void cio_(void){
3   printf("12345");
4 }
5