use stdIn from stdlib