() -> _ read_io 1 return