Just a proof of concept repository for a bug