GLOBAL_unique = 42; // Nothing before universe

function GLOBAL_getUniqueID() {
  return GLOBAL_unique++;
}