<% print file %>
<% foreach lines %>
<% print %5d lineno %>: <% print line %> <% end %>