exception Break_while
   
let rec instruction env = function 
   
  | While (e, i) ->
   
      begin try
   
        while bool (expression env e)
   
        do instruction env i done
   
      with Break_while -> ()
   
      end
   
  | Break -> raise Break_while
   
        ...
   
and ...