Check out miri ibr (@ujb) on Linkme