RoHCv2 ipv4_innermost_irregular question

Hello!

I could not determine, where the attribute

    ip_id_behavior_innermost.UVALUE

is bound in this format (ipv4 encoding method):

   COMPRESSED ipv4_innermost_irregular {
     ENFORCE(is_innermost == 1);
     ip_id =:=
       ip_id_enc_irreg(ip_id_behavior_innermost.UVALUE)  [ 0, 16 ];
   }

In the  ipv4_outer_irregular format the ip id behavior is defined in
DEFAULT as static.
I understand here, that the irregular chain (and therefore CO formats)
could not be used, if the ip-id behavior of an outer IP header has changed.
Then I need a co_repair/IR with dynamic chain.

But if the innermost ip id behavior changes, I can use co_common.
Then the ip id is either send within co_common (in seq/seq swapped case)
or within irregular chain (in rand/zero) case.

Therefore maybe the line
     ENFORCE(ip_id_behavior_innermost.UVALUE == ip_id_behavior_value);
is missed here, to bind the attribute with the parameter value?

If not, could please someone explain, where the binding works?

Thanks and Regards,
Klaus

--
Klaus Warnke klaus.warnke@...
http://www.acticom.de
Tel +49-30-4849.6891

acticom GmbH
Schwedter Str. 9b, 10119 Berlin, Germany
Managing Directors:  Olaf Kehrer, Gerrit Schulte
Commercial Register: Berlin-Charlottenburg HRB 73245
VAT-ID DE205131766

_______________________________________________
Rohc mailing list
Rohc@...
https://www.ietf.org/mailman/listinfo/rohc