- more rigorous tests of 64-bit syscalls - better tests and verification of COW in fork - test edge cases for splitting and coalescing VMAs - LOTS of unit tests for both anonymous and file-backed mmap