let ooch = L.open_out preamble (R.get_string "xoa.objects") in
let noch = L.open_out preamble (R.get_string "xoa.notations") in
List.iter (L.out_include ooch) (R.get_list R.string "xoa.include");
let ooch = L.open_out preamble (R.get_string "xoa.objects") in
let noch = L.open_out preamble (R.get_string "xoa.notations") in
List.iter (L.out_include ooch) (R.get_list R.string "xoa.include");