Add a small script to reproduce the problem.