a minimal reproduction of a bug