Besides other headers, such as rec.h which serves the REC compiler, and those germane to a particular application (such as the present RECView.h), one more should be provided which is devoted exclusively to defining the REC operators and predicates which are going to be used. Of course, the operators and predicates themselves must be defined, more likely in C than not; keeping them all together in one place facilitates program maintainance.