begin
  predicate calgol(longreal c, integerfn f(integer p), integername n)
    true if n = f(n)
    false
  end
  integerfn simple(integer param)
    printstring("Called"); newline
    result = param
  end
  longreal a = 1.23
  integer num
  num = 3
  if calgol(a, simple, num) start
    num = 1
  finish
endofprogram