code: function unwrap(doc) {
      // Unwrap for Enhanced TxStore format
      if ("state" in doc && !("$class" in doc)) {
  	if (doc.state == "COMMITTED")
  	    return JSON.parse(doc.currentValue);
  	else
  	    return null; // Not sure if we will need something more fancy for un-committed data
      }
      // Leave as-is
      else
  	return doc;
  }
docs: /* "standard library" (implementation of unary and binary operators) /* XXX TODO
  -- never use 'in' always use 'hasObjectProperty()' instead
  -- never use '==' or '!=' always use '===' or '!==' instead
  -- never use 'i++' always use 'i = i+1'