policy LimitWriteBytesSmall = LimitBytesWritten (40);
About this file
Naccio Home Page David Evans University of Virginia, Computer Science