// ĠFILE : Ġtest . kt Ċ fun Ġbox () Ġ{ ĊĠĠĠ Ġval Ġx Ġ= Ġvalue () ĊĠĠĠ Ġwhen Ġ( x ) Ġ{ ĊĠĠĠĠĠĠĠ Ġx 0 () Ġ-> Ġnop () ĊĠĠĠĠĠĠĠ Ġx 1 () Ġ-> Ġnop () ĊĠĠĠĠĠĠĠ Ġx 2 () Ġ-> Ġnop () ĊĠĠĠĠĠĠĠ Ġx 3 () Ġ-> Ġnop () ĊĠĠĠĠĠĠĠ Ġelse Ġ-> Ġnop () ĊĠĠĠ Ġ} ĊĊĠĠĠ Ġwhen Ġ( x 0 () Ġ+ Ġx 1 ()) Ġ{ ĊĠĠĠĠĠĠĠ Ġx 0 (). rid () Ġ-> Ġnop () ĊĠĠĠĠĠĠĠ Ġid ( x 1 ()) Ġ-> Ġnop () ĊĠĠĠĠĠĠĠ Ġelse Ġ-> Ġnop () ĊĠĠĠ Ġ} Ċ } Ċ Ċ fun Ġvalue (): ĠInt Ġ= Ġ 2 Ċ inline Ġfun Ġx 0 (): ĠInt Ġ= Ġ 0 Ċ inline Ġfun Ġx 1 (): ĠInt Ġ= Ġ 1 Ċ inline Ġfun Ġx 2 (): ĠInt Ġ= Ġ 2 Ċ inline Ġfun Ġx 3 (): ĠInt Ġ= Ġ 3 Ċ Ċ inline Ġfun Ġid ( x : ĠInt ): ĠInt Ġ= Ġx Ċ inline Ġfun ĠInt . rid (): ĠInt Ġ= Ġthis Ċ Ċ fun Ġnop () Ġ{} Ċ Ċ // ĠJVM _ IR Ġgenerates Ġan Ġadditional Ġline Ġnumber Ġfor Ġthe Ġend Ġof Ġthe Ġcondition , Ġwhich Ġis Ġnecessary Ġfor Ġthe Ġcorrect Ġ" step Ġover " Ġbehavior . Ċ Ċ // ĠEXPECT ATIONS Ċ // Ġtest . kt : 3 Ġbox Ċ // Ġtest . kt : 1 9 Ġvalue Ċ // Ġtest . kt : 3 Ġbox Ċ // Ġtest . kt : 4 Ġbox Ċ // Ġtest . kt : 5 Ġbox Ċ // Ġtest . kt : 2 0 Ġbox Ċ // ĠEXPECT ATIONS ĠJVM _ IR Ċ // Ġtest . kt : 5 Ġbox Ċ // ĠEXPECT ATIONS Ċ // Ġtest . kt : 6 Ġbox Ċ // Ġtest . kt : 2 1 Ġbox Ċ // ĠEXPECT ATIONS ĠJVM _ IR Ċ // Ġtest . kt : 6 Ġbox Ċ // ĠEXPECT ATIONS Ċ // Ġtest . kt : 7 Ġbox Ċ // Ġtest . kt : 2 2 Ġbox Ċ // Ġtest . kt : 7 Ġbox Ċ // Ġtest . kt : 2 8 Ġnop Ċ // Ġtest . kt : 7 Ġbox Ċ // Ġtest . kt : 1 2 Ġbox Ċ // Ġtest . kt : 2 0 Ġbox Ċ // Ġtest . kt : 1 2 Ġbox Ċ // Ġtest . kt : 2 1 Ġbox Ċ // Ġtest . kt : 1 2 Ġbox Ċ // Ġtest . kt : 1 3 Ġbox Ċ // Ġtest . kt : 2 0 Ġbox Ċ // Ġtest . kt : 1 3 Ġbox Ċ // Ġtest . kt : 2 6 Ġbox Ċ // ĠEXPECT ATIONS ĠJVM _ IR Ċ // Ġtest . kt : 1 3 Ġbox Ċ // ĠEXPECT ATIONS Ċ // Ġtest . kt : 1 4 Ġbox Ċ // Ġtest . kt : 2 1 Ġbox Ċ // Ġtest . kt : 1 4 Ġbox Ċ // Ġtest . kt : 2 5 Ġbox Ċ // Ġtest . kt : 1 4 Ġbox Ċ // Ġtest . kt : 2 8 Ġnop Ċ // Ġtest . kt : 1 4 Ġbox Ċ // Ġtest . kt : 1 7 Ġbox Ċ