Copy of Krishnamurthi's repro-in-cs repository