Refactor #4003: getter/setter defined in extension