I would abandon t4p4s and just use the new p4lang/p4c/backends/dpdpk which supports header stack. Also, my company's (closed, not open-sourced) P4toVPP p4c backend also supports header stack.
I would abandon t4p4s and just use the new p4lang/p4c/backends/dpdpk which supports header stack.
Also, my company's (closed, not open-sourced) P4toVPP p4c backend also supports header stack.