Added REQUIRE
readline() should return a String.