// ĠOriginal Ġbug : ĠK T - 2 9 0 8 1 Ċ Ċ import Ġkotlin . contracts . Experimental Contracts Ċ import Ġkotlin . contracts . contract Ċ Ċ fun Ġexecute Once Without Contracts ( function To Run : Ġ() Ġ-> ĠUnit ) Ġ{ ĊĠĠĠ Ġfunction To Run () Ċ } Ċ Ċ // does Ġnot Ġcompile Ċ /* Ċ fun Ġstart Game V 1 (): ĠInt Ġ{ ĊĠĠĠ Ġval Ġlives : ĠInt ĊĠĠĠ Ġexecute Once Without Contracts Ġ{ ĊĠĠĠĠĠĠĠ Ġlives Ġ= Ġ 5 ĊĠĠĠ Ġ} ĊĠĠĠ Ġ// ĠCompile Ġerror Ġhere ĊĠĠĠ Ġreturn Ġlives Ċ }*/ Ċ Ċ @ Experimental Contracts Ċ fun Ġexecute Once ( function To Run : Ġ() Ġ-> ĠUnit ) Ġ{ ĊĠĠĠ Ġcontract Ġ{ ĊĠĠĠĠĠĠĠ Ġcalls In Place ( function To Run , Ġkotlin . contracts . Invocation Kind . EX ACT LY _ ON CE ) ĊĠĠĠ Ġ} ĊĠĠĠ Ġfunction To Run () Ċ } Ċ Ċ // Code Ġis Ġok Ġbuy Ġmay Ġgenerate Ġexception Ġduring Ġcompilation . Ċ Ċ @ Experimental Contracts Ċ fun Ġstart Game V 2 (): ĠInt Ġ{ ĊĠĠ Ġval Ġlives : ĠInt ĊĠĠ Ġexecute Once Ġ{ ĊĠĠĠĠĠĠ Ġlives Ġ= Ġ 5 ĊĠĠ Ġ} ĊĠĠ Ġ// Ġno Ġcompile Ġerror ! ĊĠĠ Ġreturn Ġlives Ċ } Ċ Ċ @ Experimental Contracts Ċ fun Ġmain () Ġ{ ĊĠĠ Ġstart Game V 2 () Ċ }