#include #include header ethernet_t { bit<48> dst_addr; bit<48> src_addr; bit<16> eth_type; } header H { bit<8> a; bit<8> b; } struct Headers { ethernet_t eth_hdr; H h; } struct Meta { } parser p(packet_in pkt, out Headers hdr, inout Meta m, inout standard_metadata_t sm) { state start { transition parse_hdrs; } state parse_hdrs { pkt.extract(hdr.eth_hdr); transition accept; } } control sub_ctrl(in bit<16> eth_type, out bit<8> dummy_val){ apply { } } void inline_dummy(in bit<16> eth_type, out bit<8> dummy_val) { } control ingress(inout Headers h, inout Meta m, inout standard_metadata_t sm) { sub_ctrl() sub_c; apply { sub_c.apply(h.eth_hdr.eth_type, h.h.a); inline_dummy(h.eth_hdr.eth_type, h.h.b); } } control vrfy(inout Headers h, inout Meta m) { apply {} } control update(inout Headers h, inout Meta m) { apply {} } control egress(inout Headers h, inout Meta m, inout standard_metadata_t sm) { apply {} } control deparser(packet_out b, in Headers h) { apply {b.emit(h);} } V1Switch(p(), vrfy(), ingress(), egress(), update(), deparser()) main;