use log2 from stdc