[IO] readlines implemented