// ĠTARGET _ BACKEND : ĠJVM Ċ // ĠFILE : Ġtest . kt Ċ Ċ fun Ġtest (): ĠString Ġ{ ĊĠĠĠ Ġreturn ĠA () ĊĠĠĠĠĠĠĠ Ġ// ĠLarge Ġcomment Ġthat Ġwould Ġcause Ġthe Ġmessage Ġfor ĊĠĠĠĠĠĠĠ Ġ// Ġthe Ġnon - null Ġassertion Ġto Ġbe Ġvery Ġlarge Ġif ĊĠĠĠĠĠĠĠ Ġ// Ġit Ġis Ġincluded Ġver batim Ġin Ġthe Ġmessage . ĊĠĠĠĠĠĠĠ Ġ. foo () Ċ } Ċ Ċ fun Ġbox (): ĠString Ġ{ ĊĠĠĠ Ġtry Ġ{ ĊĠĠĠĠĠĠĠ Ġtest () ĊĠĠĠ Ġ} Ġcatch ( e : ĠThrowable ) Ġ{ ĊĠĠĠĠĠĠĠ Ġreturn Ġif Ġ( e . message !!. length Ġ<= Ġ" Ġmust Ġnot Ġbe Ġnull ". length Ġ+ Ġ 5 0 ) Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠ Ġ" OK " ĊĠĠĠĠĠĠĠ Ġ} Ġelse Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠ Ġ" FAIL 1 " ĊĠĠĠĠĠĠĠ Ġ} ĊĠĠĠ Ġ} ĊĠĠĠ Ġreturn Ġ" FAIL 2 " Ċ } Ċ Ċ // ĠFILE : ĠA . java Ċ Ċ public Ġclass ĠA Ġ{ ĊĠĠĠ Ġpublic ĠString Ġfoo () Ġ{ ĊĠĠĠĠĠĠĠ Ġreturn Ġnull ; ĊĠĠĠ Ġ} Ċ } Ċ