Add a script to help reproduce #407