cmodule MathBot1 {
  gazelle_mathBot1
}