frv: a = property(...) -> @property def a(self):