minip4_solution-nat64.p4