Testcases (those for #4 just for posterity)