bits_to_int(bitstring()) :: non_neg_integer()

join([non_neg_integer()], non_neg_integer()) :: non_neg_integer()

remove_leading_zeros(bitstring()) :: bitstring()

reverse_bits(bitstring()) :: bitstring()

split(non_neg_integer(), non_neg_integer()) :: [non_neg_integer()]