Added headProcQ and makeEmptyProcQ