Import Eiffel-state from svn google repo.
Converted to void safety, added a simple example.