begin

  integer X
  integername XP
  
  predicate test(integer a,b, integername c)
    true
  end

  if test(X,XP,X) start

  finish

  if test(X,XP,XP) start

  finish

endofprogram