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