Some test cases for mbox (http://pdos.csail.mit.edu/mbox/)