parser main_parser() {
       state start {
           transition select (false) {
              true: reject;
              false: reject;
           };
       }
    };