// ĠTARGET _ BACKEND : ĠJVM Ċ // ĠMODULE : Ġlib Ċ // ĠFILE : Ġprotected Pack / A . java Ċ package Ġprotected Pack ; Ċ Ċ public Ġclass ĠA Ġ{ ĊĠĠĠ Ġprotected Ġfinal ĠString Ġfield ; ĊĊĠĠĠ Ġpublic ĠA ( String Ġvalue ) Ġ{ ĊĠĠĠĠĠĠĠ Ġfield Ġ= Ġvalue ; ĊĠĠĠ Ġ} Ċ } Ċ Ċ // ĠMODULE : Ġmain ( lib ) Ċ // ĠFILE : ĠB . kt Ċ import Ġprotected Pack . A Ċ Ċ class ĠB ( value : ĠString ) Ġ: ĠA ( value ) Ġ{ ĊĠĠĠ Ġinner Ġclass ĠC Ġ: ĠA ( field ) Ġ{ ĊĠĠĠĠĠĠĠ Ġval Ġresult Ġ= Ġfield ĊĠĠĠ Ġ} Ċ } Ċ Ċ fun Ġbox (): ĠString Ġ= ĠB (" OK "). C (). result Ċ