Add test case for issue7354

I don't have access to an osx64 box, so I'm using the autotester for this.