Function law_encoded_len_at_least_overhead 

pub fn law_encoded_len_at_least_overhead(
    kind_len: u64,
    payload_len: u64,
) -> bool