/////                                                  \\\\\
///// 12shawfo                                         \\\\\
/////                                                  \\\\\

// catch the additional transition
ALTER_TRANS 12shawfo BEGIN 32 END BEGIN 5 END BEGIN EPILOGUE ~GOTO alt3~ END // one last line
