static S chatTheoryModule() {
  ret #1010963;
}