// ĠMODULE : Ġlib Ċ // ĠFILE : Ġlib . kt Ċ Ċ package Ġutils Ċ Ċ public Ġclass ĠA ( public Ġval Ġx : ĠInt ) Ġ{ ĊĠĠĠ Ġinline ĊĠĠĠ Ġpublic Ġfun Ġplus ( y : ĠInt ): ĠInt Ġ= Ġx Ġ+ Ġy Ċ } ĊĊ Ċ // ĠMODULE : Ġmain ( lib ) Ċ // ĠFILE : Ġmain . kt Ċ Ċ import Ġutils .* Ċ Ċ // ĠCHECK _ CONTAIN S _ NO _ CALL S : Ġtest Ċ Ċ internal Ġfun Ġtest ( a : ĠA , Ġy : ĠInt ): ĠInt Ġ= Ġa . plus ( y ) Ċ Ċ fun Ġbox (): ĠString Ġ{ ĊĠĠĠ ĠassertEquals ( 5 , Ġtest ( A ( 2 ), Ġ 3 )) ĊĊĠĠĠ Ġreturn Ġ" OK " Ċ }