Add files for repro