// ĠFILE : Ġtest . kt Ċ Ċ fun Ġbox () Ġ{ ĊĠĠĠ Ġfoo ({ ĊĠĠĠĠĠĠĠĠĠĠĠ Ġval Ġa Ġ= Ġ 1 ĊĠĠĠĠĠĠĠ Ġ}) ĊĊĠĠĠ Ġfoo () Ġ{ ĊĠĠĠĠĠĠĠ Ġval Ġa Ġ= Ġ 1 ĊĠĠĠ Ġ} Ċ } Ċ Ċ inline Ġfun Ġfoo ( f : Ġ() Ġ-> ĠUnit ) Ġ{ ĊĠĠĠ Ġval Ġa Ġ= Ġ 1 ĊĠĠĠ Ġf () Ċ } Ċ Ċ // ĠEXPECT ATIONS Ċ // Ġtest . kt : 4 Ġbox Ċ // Ġtest . kt : 1 4 Ġbox Ċ // Ġtest . kt : 1 5 Ġbox Ċ // Ġtest . kt : 5 Ġbox Ċ // Ġtest . kt : 6 Ġbox Ċ // Ġtest . kt : 1 6 Ġbox Ċ // Ġtest . kt : 8 Ġbox Ċ // Ġtest . kt : 1 4 Ġbox Ċ // Ġtest . kt : 1 5 Ġbox Ċ // Ġtest . kt : 9 Ġbox Ċ // Ġtest . kt : 1 0 Ġbox Ċ // Ġtest . kt : 1 6 Ġbox Ċ // Ġtest . kt : 1 1 Ġbox Ċ