Given n (a power of two), finds k such that n == 1 << k.
source not stored for this graph (policy: none)
no test coverage detected