sS tb_mainServer_default = "http://tinybrain.de:8080";
static O tb_mainServer_override; // func -> S

static S tb_mainServer() {
  if (tb_mainServer_override != null) ret (S) callF(tb_mainServer_override);
  ret trim(loadTextFile(tb_mainServer_file(),
    tb_mainServer_default));
}

static File tb_mainServer_file() {
  ret getProgramFile(#1001638, "mainserver.txt");
}

static bool tb_mainServer_isDefault() {
  ret eq(tb_mainServer(), tb_mainServer_default);
}