module ReqPat