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