INITIAL_STATE: {
   ...
   goto SOME_STATE;
}

SOME_STATE: {
   ...
   if ( ... ) {
      goto SOME_STATE;
   } else {
      goto FINAL_STATE;
   }
}

FINAL_STATE: {
   ...
}