Test files for issue 7176