mixed_io_1.c   [plain text]

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