[NL2-NL10] NL4 AKo against a shortstack push.