fun Ġfoo () Ġ{ ĊĠĠĠ Ġf ( ĊĠĠĠĠĠĠĠĠ 1 , ĊĠĠĠĠĠĠĠĠ 2 , ĊĠĠĠĠĠĠĠ Ġg ( 3 , Ġ 4 , Ġ 5 ), ĊĠĠĠĠĠĠĠĠ 3 ĊĠĠĠ Ġ) < caret > Ċ } Ċ Ċ fun Ġf ( a : ĠInt , Ġb : ĠInt , Ġc : ĠInt , Ġd : ĠInt ): ĠInt Ġ= Ġ 0 Ċ Ċ fun Ġg ( a : ĠInt , Ġb : ĠInt , Ġc : ĠInt ): ĠInt Ġ= Ġ 0