sanitycheck: a few more test cases