public static void emitThinkingDot(Keyword kindofthinking) {
    if (Logic.$EMIT_THINKING_DOTSp$) {
      { CharacterWrapper character = ((CharacterWrapper)(Logic.$THINKING_DOT_TABLE$.lookup(kindofthinking)));

        if (character != null) {
          System.out.print(character.wrapperValue);
          Logic.$THINKING_DOT_COUNTER$ = Logic.$THINKING_DOT_COUNTER$ + 1;
          if (Logic.$THINKING_DOT_COUNTER$ >= 70) {
            System.out.println();
            Logic.$THINKING_DOT_COUNTER$ = 0;
          }
        }
      }
    }
  }