In reply to Rochine.

Rochine,

Please see this note I posted to the P4 Slack channel.

https://p4-lang.slack.com/archives/C8Z5JAFJ5/p1576157664075400