Input1
time(): Output1
END
time(): exit

##</code><code>##

Input1
END
time(): Output1
time(): exit

##</code><code>##

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

##</code><code>##

read(0, "Input1\n", 1024)               = 7
time(NULL)                              = 1066404693
write(1, "1066404693: \"Input1\"\n", 21) = 21
read(0, "END\n", 1024)                  = 4
time(NULL)                              = 1066404697
write(1, "1066404697: exit\n", 17)      = 17