let ! a longer example program type Line ~ record length : Integer, content : Char end; proc updateLine (var line : Line) ~ begin line.content := '1'; end; ! updateLine var currentLine : Line in begin updateLine (var currentLine); end ! of program