srecord UsedCommittedMax(long used, long committed, long max) {
  long free() { ret max-used; }
  long used() { ret used; }
  long max() { ret max; }
}