_Originally posted by @fruffy in [#1373](https://github.com/p4lang/behavioral-model/pull/1373/changes#r3114380885)_
Originally posted by @fruffy in #1373