(* BIG BUG: if a file recursively includes itself, anything can happen,
* from divergence to inclusion of an old copy of itself *)
and assert_ng ~compiling ~include_paths ~root mapath =
(* BIG BUG: if a file recursively includes itself, anything can happen,
* from divergence to inclusion of an old copy of itself *)
and assert_ng ~compiling ~include_paths ~root mapath =