Function law_encoded_len_monotonic_in_payload 

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