looks like `charProcOperatorList` shall be changed to `operatorList`