auxiliary @GenerateGetters annotation for interoperability