slightly simpler testcases