input is stdin