functor export myProc: MyProc define proc {MyProc X Y Z} if X >= Y then Z = X else Z = Y end end end