+ if pred na.E.n_apix mod size = 0 then begin
+ sub_close ();
+ incr chunk;
+ let dir, name = mk_name !chunk in
+ let soch = open_out (KF.concat dir name ^ ext_tj_sig) in
+ out_preamble soch;
+ out_top_comment soch version;
+ out_clause soch (KP.sprintf "sig %s." name);
+ out_clause soch "accum_sig grundlagen.";
+ out_clause soch (KP.sprintf "type line+%02u t -> int -> t -> o." !chunk);
+ close_out soch;
+ let soch = open_out (KF.concat dir name ^ ext_tj) in
+ out_preamble soch;
+ out_top_comment soch version;
+ out_clause soch (KP.sprintf "module %s." name);
+ sub_och := soch
+ end;
+ out_comment !sub_och (KP.sprintf "constant %u" na.E.n_apix);