#!/bin/csh -f
awk -f etc/allocstats.awk alloc.dump
