Violin is BACK.
* though it is not 100% READY.
* still have to figure out how to do Violin.CheckInvariant.