/*+JMJ
* cat - print stdin to stdout
* Copyright 2011 David Meyer <
[email protected]>
*/
#include <stdio.h>
int main()
{
char buffer[10];
char buf2[5] = "....";
while (fgets(buffer, 10, stdin) != NULL)
/*
while (fscanf(stdin, "%s", buffer) == 1)
*/
{
/*
fputs(buffer, stdout);
*/
printf("/%d/%s/%s/\n", (int) buffer[9], buffer, buf2);
}
return 0;
}
