int log2(x)