Example of generating getters/setters with getStateful