DATA_BYTES         23 user/uw-testbin/vm-mix1-fork/vm-mix1-fork.c #define PAGES               (DATA_BYTES / PAGE_SIZE)
DATA_BYTES        200 user/uw-testbin/vm-mix1-fork/vm-mix1-fork.c   printf("DATA_BYTES = %d\n", DATA_BYTES);
DATA_BYTES         21 user/uw-testbin/vm-mix1/vm-mix1.c #define PAGES               (DATA_BYTES / PAGE_SIZE)
DATA_BYTES        195 user/uw-testbin/vm-mix1/vm-mix1.c   printf("DATA_BYTES = %d\n", DATA_BYTES);
DATA_BYTES         21 user/uw-testbin/vm-mix2/vm-mix2.c #define PAGES               (DATA_BYTES / PAGE_SIZE)
DATA_BYTES        203 user/uw-testbin/vm-mix2/vm-mix2.c   printf("DATA_BYTES = %d\n", DATA_BYTES);