> (power 2 8)
|(power 2 8)
|(power-product 1 2 8)
|(power-product 1 4 4)
|(power-product 1 16 2)
|(power-product 1 256 1)
|(power-product 256 256 0)
|256
256