proc sub(x: cint, y: cint): cint