Files to reproduce the issue