begin
  integer I
  integername N
  integerfn F
    result = I
  end
  routine R
  end
  integermap M
    result == I
  end
  predicate P
    true
  end
  if P start
    R
    N == I
    N = I
    I = F
    I = M
    I = N
    M = I
  finish
endofprogram