The minimal files needed to showcase a bug