(@-@) (@-@) (@-@) (@-@) >< Shortstack shortstack size_difference