// ĠFILE : Ġp / I . java Ċ Ċ package Ġp ; Ċ Ċ import Ġp . J . Param ; Ċ Ċ public Ġinterface ĠI Ġ{ ĊĠĠĠ ĠString Ġs (); Ċ } Ċ Ċ // ĠFILE : Ġp / J . java Ċ Ċ package Ġp ; Ċ Ċ public Ġclass ĠJ Ġimplements ĠI Ġ{ ĊĠĠĠ Ġpublic ĠString Ġs () Ġ{ Ġreturn Ġnull ; Ġ} Ċ } Ċ Ċ // ĠFILE : Ġk . kt Ċ import Ġp .* Ċ Ċ fun Ġtest () Ġ{ ĊĠĠĠ Ġval Ġs Ġ= ĠJ (). s () ĊĠĠĠ Ġs . get ( 0 ) ĊĠĠĠ Ġs !!. get ( 0 ) Ċ } Ċ