Add non-trivial examples of auto