Subrule 3a-2: When the regex engine encounters a possessive form, it must not backtrack.

^a+(?"+)

• Subrule 3a-1: When the regex engine encounters a possessive form, it must not capture
• Subrule 3a-3: When the regex engine encounters an atomic group, it must capture