DUMMY_PI_HANDLER_FLAG
if (get_dummy_handler_flags() != DUMMY_PI_HANDLER_FLAG)
| DUMMY_COMMENT_HANDLER_FLAG | DUMMY_PI_HANDLER_FLAG
dummy_handler_flags |= DUMMY_PI_HANDLER_FLAG;