like said in the 'chat', we want to modify camltc semantics to bool iso exeptions too.