sanitycheck: more test cases