booklet

export function make(default_value) {
  return { value: default_value, default_value: default_value };
}

export function get(key) {
  return key.value;
}

export function set(key, value) {
  key.value = value;
}

export function update(key, updater) {
  const new_value = updater(key.value);
  key.value = new_value;
  return new_value;
}

export function erase(key) {
  key.value = key.default_value;
}