// File ĠA . java Ċ import Ġkotlin . Metadata ; Ċ import Ġorg . jetbrains . annotations . NotNull ; Ċ Ċ public Ġfinal Ġclass ĠA Ġ{ ĊĠĠ Ġ@ NotNull ĊĠĠ Ġpublic ĠString ĠtoString () Ġ{ ĊĠĠĠĠĠ Ġreturn Ġ" A "; ĊĠĠ Ġ} Ċ } ĊĊ Ċ // File ĠMain . kt ĊĊĊ Ċ fun Ġbox () Ġ: ĠString Ġ{ ĊĠĠĠ Ġval Ġp Ġ= Ġ 1 ĊĠĠĠ Ġval Ġs Ġ= Ġ"${ p }${ 2 }${ 3 }${ 4 L }${ 5 . 0 }${ 6 F }${ 7 }${ A () }" ĊĊĠĠĠ Ġreturn Ġ" OK " Ċ } Ċ Ċ // Ġ 1 ĠNEW Ġjava / lang / StringBuilder ĊĊ