../netpfga/minip4/src/minip4_solution-nat64.p4