let
nbStates =
"aorai_NbStates"