<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_kgmapu5o3ckg7ainrs9b16g6qp, O_RDWR) failed: No space left on device (28) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
<br />
<b>Warning</b>:  session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
static void ai_callSpeculationFunctionOnWeb(fS f, S webID) {
  ai_callSpeculationFunctionOnWeb(f, ai_getWebFromTerm(webID));
}

static void ai_callSpeculationFunctionOnWeb(fS f, Web web) {
  final T3<S> t = webToTriple(web);
  ret if t == null;
  pcall ping {
    //ai_withMaker(f, r { callMC(f, t.a, t.b, t.c) });
    ai_withMaker(f, r { callMC(f, web) });
  }
}