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