There should be no red in this testcase.