deprecatedGetter top-level property

int deprecatedGetter