| Some (status, stm) when test stm -> (* "interesting" statement *)
let loc_begin, loc_end = HExtlib.loc_of_floc (get_loc stm) in
let raw_statement =
| Some (status, stm) when test stm -> (* "interesting" statement *)
let loc_begin, loc_end = HExtlib.loc_of_floc (get_loc stm) in
let raw_statement =
callback raw_statement;
exaust (raw_statement :: acc) status
| Some (status, _stm) -> exaust acc status in
callback raw_statement;
exaust (raw_statement :: acc) status
| Some (status, _stm) -> exaust acc status in