function if_per_set(ns, key, value) {
  var _ns = store.namespace(ns);
  _ns.set(key, value)
}

function if_per_del(ns, key) {
  var _ns = store.namespace(ns);
  _ns.remove(key);
}

function if_per_del_ns(ns) {
  var _ns = store.namespace(ns);
  _ns.clearAll();
}

function if_per_get(s, ns, key) {
  var _ns = store.namespace(ns);
  var res = _ns.get(key);
  if (res === undefined) {
    throw "This should never be reached. if_per_get returned undefined, it should return null";
  }

  int_dispatch([4, "int_per_get_res", s, ns, key, res]);
}