// File ĠA . java Ċ import Ġkotlin . Metadata ; Ċ Ċ public Ġfinal Ġclass ĠA Ġ{ Ċ } ĊĊ Ċ // File ĠMain . kt ĊĊ Ċ fun Ġbox (): ĠString Ġ{ ĊĠĠĠ Ġvar Ġresult Ġ= Ġ" Fail " ĊĊĠĠĠ Ġfun ĠA . ext () Ġ{ Ġresult Ġ= Ġ" OK " Ġ} ĊĊĠĠĠ Ġval Ġf Ġ= ĠA :: ext ĊĠĠĠ Ġf ( A ()) ĊĠĠĠ Ġreturn Ġresult Ċ } ĊĊ