> (power 2 8) |(power 2 8) | (power 2 7) | |(power 2 6) | | (power 2 5) | | |(power 2 4) | | | (power 2 3) | | | |(power 2 2) | | | | (power 2 1) | | | | |(power 2 0) | | | | |1 | | | | 2 | | | |4 | | | 8 | | |16 | | 32 | |64 | 128 |256 256