package Ġfoo Ċ Ċ import Ġjava . util . ArrayList Ċ Ċ var Ġbaz Ġ= Ġ 0 Ċ fun Ġwith Side Effect ( v : ĠInt ): ĠInt Ġ{ ĊĠĠĠ Ġbaz Ġ= Ġv ĊĠĠĠ Ġreturn Ġv Ċ } Ċ Ċ fun Ġbox (): ĠBoolean Ġ{ ĊĠĠĠ Ġval Ġal Ġ= ĠArrayList < Int >( with Side Effect ( 2 )) ĊĠĠĠ Ġreturn Ġal . size Ġ== Ġ 0 Ġ&& Ġbaz Ġ== Ġ 2 Ċ }