scf

in lzc module the comment says: /// If the input does not contain a zero, `empty_o` is asserted. Additionally `cnt_o` contains /// the maximum number of zeros - 1. if...