从特定行开始读取文件

我需要将文件中的所有行存储在一个表格中，但我需要从特定点开始阅读。下面是文件示例：

class Foo as
 attribute max : number
 def static show as
 count : number
 begin
 io.print(count)
 return count
 end
 attribute min : number
end
program
 var x : number
 var foo : Foo
 x = 20
 foo = new Foo
 foo.show(x)
end

我需要从 program 开始阅读，并将 program 以下的所有内容存储在表格中。

我已经做到了这一点：

for line in io.lines(file) do
    table.insert(program.body, line);
end;

但是这会（当然）循环遍历整个文件。我需要从 program 到 end 循环。