Minimal examples for some of the bugs