namePart(); np_AST = (AST)returnAST; if ( inputState.guessing==0 ) {
namePart(); np_AST = (AST)returnAST; if ( inputState.guessing==0 ) {
namePart(); np_AST = (AST)returnAST; if ( inputState.guessing==0 ) {
namePart(); np_AST = (AST)returnAST; if ( inputState.guessing==0 ) {
namePart(); np_AST = (AST)returnAST; if ( inputState.guessing==0 ) {