svoid dm_randomGACToAIBar(S s) {
  dm_setAIBarText(random_gac36k());
}