^alog₂(512) = 9