read(0, "Input1\n", 4096)               = 7
time(NULL)                              = 1066404185
read(0, "END\n", 4096)                  = 4
time(NULL)                              = 1066404190
write(1, "1066404185: \"Input1\"\n1066404190:"..., 38) = 38