parser main_parser() {
#include <annotate-parser-state.p4>
}