[ InfixExamineSub;
  InfixExamineP(false);
];