New testcase for PR80