Make the input a little more restrictive
Add with-allocation example
Add doto example