Generated getters and setters #8.2