does not read from stdin