interface ĠI Ġ{ ĊĠĠĠ Ġpublic Ġfun Ġget X (): ĠInt ĊĠĠĠ Ġpublic Ġfun Ġset X ( x : ĠInt ) Ċ } Ċ Ċ class ĠA ( private Ġvar Ġx : ĠInt ) Ġ: ĠI Ġ{ ĊĊĠĠĠ Ġoverride Ġfun Ġget X (): ĠInt Ġ{ ĊĠĠĠĠĠĠĠ Ġreturn Ġx ĊĠĠĠ Ġ} ĊĊĠĠĠ Ġoverride Ġfun Ġset X ( x : ĠInt ) Ġ{ ĊĠĠĠĠĠĠĠ Ġthis . x Ġ= Ġx ĊĠĠĠ Ġ} Ċ } Ċ