begin
  routine do something(integer i)
     integerfn succ(integer i)
       result = i+1
     end
     print string("succ("); write (i,0); print string(") = "); write(succ(i), 0); newline
  end

  do something(42)

endofprogram