+ let string_of_maxargs int_opt =
+ match int_opt with
+ | Some n -> string_of_int n
+ | None -> "N/A"
+ in
+ Printf.printf "maxargs : spl_prog_orig -> %s\n"
+ (string_of_maxargs (Spl.maxargs spl_prog_orig));
+ Printf.printf "maxargs : spl_prog_noprint -> %s\n"
+ (string_of_maxargs (Spl.maxargs spl_prog_noprint))