parser simple() {
  state start {
    bool l;
    transition accept;
  }
}