header udp_t udp;

parser parse_udp {
    extract(udp);
    return select(latest.dstPort) {
$next_states
    }
}
