repaired input-stdin.c