readonly attribute, attribute on getters