add example code.

ModelSpec with simple User model under transaction