Public repository to reproduce issue8