count-leading-zeros: port to MSC; support types wider than 64 bits