// ĠEXPECT ED _ RE ACH ABLE _ NODES : Ġ 1 2 8 2 Ċ package Ġfoo Ċ Ċ fun Ġbox (): ĠString Ġ{ ĊĠĠĠ Ġval Ġv 1 Ġ= Ġ{ Ġx : ĠInt Ġ-> Ġx }( 2 ) ĊĊĠĠĠ Ġval Ġf Ġ= Ġ{ Ġx : ĠInt Ġ-> Ġx } ĊĠĠĠ Ġval Ġv 2 Ġ= Ġ( f )( 2 ) ĊĊĠĠĠ Ġif Ġ( v 1 Ġ!= Ġ 2 ) Ġreturn Ġ" fail 1 : Ġ$ v 1 " ĊĠĠĠ Ġif Ġ( v 2 Ġ!= Ġ 2 ) Ġreturn Ġ" fail 2 : Ġ$ v 2 " ĊĊĠĠĠ Ġreturn Ġ" OK " Ċ } Ċ