dbl S 0 S 0 S S S S 0 save S x dbl 0 save x save 0 0 dbl 0 y y dbl 2 S 1 0 0 save 1 INNERMOST