io.readline reads a line - i.e. a sequence of characters up to (but excluding) carriage return and converts it to a list. Definition:
to io.readline output wordtolist readword end