begin
  routine do fn(integerfn fred(integer i))
    integer x
    x = fred(1)
  end
  routine do proc(routine fred(integer i))
    fred(1)
  end
  routine do map(integermap fred(integer i))
    fred(1) = 1
  end
  routine do pred(predicate fred(integer i))
    return if fred(1)
  end
endofprogram