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