ArraySize          24 user/uw-testbin/sparse/sparse.c #define ArraySize (2*NumPages*PageSize)
ArraySize          28 user/uw-testbin/tlbfaulter/tlbfaulter.c #define ArraySize ((TLBSize+5)*PageSize)