if R.has "xoa.objects" && R.has "xoa.notations" then begin
let st = preamble, R.get_string "xoa.objects", R.get_string "xoa.notations" in
List.iter (generate st) (R.get_list unm_ex "xoa.ex");
if R.has "xoa.objects" && R.has "xoa.notations" then begin
let st = preamble, R.get_string "xoa.objects", R.get_string "xoa.notations" in
List.iter (generate st) (R.get_list unm_ex "xoa.ex");