ASPLOS'23 - Session 4A - CaT: A Solver-Aided Compiler for Packet-Processing Pipelines