(@-@) (@-@) (@-@) (@-@) (@-@) (@-@) (@-@) (@-@) shortstack size_difference