inline Ġfun Ġrun ( block : Ġ() Ġ-> ĠUnit ) Ġ{ ĊĠĠĠ Ġblock () Ċ } Ċ Ċ val Ġx 1 Ġ= Ġ 1 Ċ Ċ var Ġx 2 : ĠInt Ġ= Ġ 1 ĊĠĠĠ Ġget () Ġ= Ġ 1 ĊĠĠĠ Ġset ( value ) Ġ{ ĊĠĠĠĠĠĠĠ Ġfield Ġ= Ġ 1 ĊĠĠĠ Ġ} Ċ Ċ val Ġx 3 Ġ= Ġrun Ġ{ ĊĠĠĠ Ġfun Ġfoo () Ġ{ ĊĠĠĠĠĠĠĠ Ġval Ġc Ġ= Ġ 1 Ġ+ Ġ 1 ĊĠĠĠĠĠĠĠ Ġthrow ĠException () ĊĠĠĠ Ġ} ĊĊĠĠĠ Ġclass ĠLocal Class Ġ{ ĊĠĠĠĠĠĠĠ Ġinit Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠ Ġthrow ĠException () ĊĠĠĠĠĠĠĠĠĠĠĠĠ 1 ĊĠĠĠĠĠĠĠ Ġ} ĊĠĠĠ Ġ} ĊĊĠĠĠ Ġthrow ĠException () Ċ } ĊĠĠĠ Ġget () Ġ{ ĊĠĠĠĠĠĠĠ Ġclass ĠLocal Class Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠ Ġinit Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġthrow ĠException () ĊĠĠĠĠĠĠĠĠĠĠĠ Ġ} ĊĠĠĠĠĠĠĠ Ġ} ĊĠĠĠ Ġ} Ċ Ċ val Ġx 4 Ġ= Ġtry Ġ{ ĊĠĠĠĠ 1 Ċ } Ġcatch Ġ( e : ĠException ) Ġ{ ĊĠĠĠĠ 2 Ċ } Ġfinally Ġ{ ĊĠĠĠĠ 0 Ċ }