Clone of https://git01.codeplex.com/z3