<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_n3eisji8tg9aj1v1k6j3gl4jg6, 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 />
long gID_1;
short gID_2;

{ setGlobalID(aGlobalIDObj()); }

void setGlobalID(GlobalID id) {
  if (id == null) ret with gID_1 = gID_2 = 0;
  gID_1 = globalIDPart1(id);
  gID_2 = globalIDPart2(id);
}

void setGlobalID(S id) {
  setGlobalID(toGlobalIDObj(id));
}

GlobalID globalID() {
  ret globalIDFromParts(gID_1, gID_2);
}