A bug reproduction