broken: reading from stdin