fix badly scoped macro INFIX_MARK