defaultGadgetTagPatch
defaultNotationVerificationPatch
