Example 3: Reading lines from a file
MAIN
DEFINE i INTEGER
DEFINE s STRING
DEFINE ch base.Channel
LET ch = base.Channel.create()
CALL ch.openFile("file.txt","r")
LET i = 1
WHILE TRUE
LET s = ch.readLine()
IF ch.isEof() THEN EXIT WHILE END IF
DISPLAY i, " ", s
LET i = i + 1
END WHILE
CALL ch.close()
END MAIN