suspend Ġfun Ġcall Release () Ġ{ ĊĠĠĠ Ġbuilder Ġ{} ĊĠĠĠ Ġbuilder 2 Ġ{ Ġ} ĊĊĠĠĠ Ġval Ġx : Ġsuspend Ġ( Int ) Ġ-> ĠUnit Ġ= Ġ{} ĊĠĠĠ Ġx . start () ĊĊĠĠĠ Ġdummy () ĊĠĠĠ ĠC (). dummy () ĊĠĠĠ ĠWith Nested . Nested (). dummy () ĊĠĠĠ ĠWith Inner (). Inner (). dummy () ĊĊĠĠĠ Ġsuspend Accept s Suspend Ġ{ ĊĠĠĠĠĠĠĠ Ġcall Release () ĊĠĠĠ Ġ} Ċ } Ċ