A repro of a bug