// ĠPRO BLE M : ĠCondition Ġis Ġalways Ġtrue Ċ // ĠFIX : Ġnone Ċ // ĠWITH _ RUNTIME Ċ fun Ġtest ( x : ĠInt ) Ġ{ ĊĠĠĠ Ġval Ġresult Ġ= Ġtry Ġ{ Ġ 1 0 0 Ġ/ Ġx Ġ} Ġcatch ( ex : ĠArithmetic Exception ) Ġ{ Ġ 2 0 0 Ġ} ĊĠĠĠ Ġif Ġ( result Ġ== Ġ 2 0 0 ) Ġ{ ĊĠĠĠĠĠĠĠ Ġif Ġ(< caret > x Ġ== Ġ 0 ) Ġ{} ĊĠĠĠ Ġ} Ċ } Ċ