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