r57: segfault when reading from stdin