package Ġcom . step 2 hell . contract Ċ Ċ import Ġkotlin . contracts . Experimental Contracts Ċ import Ġkotlin . contracts . contract Ċ import Ġkotlin . contracts . Invocation Kind ĊĊ Ċ @ Experimental Contracts Ċ inline Ġfun Ġcalled One Time Only ( run : Ġ() Ġ-> ĠUnit ) Ġ{ ĊĠĠĠ Ġ// Ġdo Ġsomething ĊĠĠĠ Ġcontract Ġ{ ĊĠĠĠĠĠĠĠ Ġcalls In Place ( run , ĠInvocation Kind . EX ACT LY _ ON CE ) ĊĠĠĠ Ġ} ĊĠĠĠ Ġrun () Ċ } Ċ Ċ @ Experimental Contracts Ċ fun Ġinit Value () Ġ{ ĊĠĠĠ Ġval Ġint Value : ĠInt ĊĠĠĠ Ġcalled One Time Only Ġ{ ĊĠĠĠĠĠĠĠ Ġ// ĠDoes Ġnot Ġcompile Ġif Ġcomment Ġcontract Ġblock Ġin Ġcalled One Time Only : ĊĠĠĠĠĠĠĠ Ġ// ĠCapt ured Ġvalues Ġinitialization Ġis Ġforbidden Ġdue Ġto Ġpossible Ġre assignment . ĊĠĠĠĠĠĠĠ Ġint Value Ġ= Ġ 1 ĊĠĠĠĠĠĠĠ Ġprintln (" intValue =$ intValue ") ĊĠĠĠ Ġ} Ċ } Ċ Ċ @ Experimental Contracts Ċ fun Ġmain () Ġ{ ĊĠĠĠ Ġinit Value () Ċ } Ċ