procedure main() f := open("seek.icn") write(seek(f,10,0)) write(read(f)) end