> void one_line(void){
>   printf(“\n”);
> }