Tag: count the number of leading zeros