   Copyright 2013   

Extension.activate "recfun";;
Main.parse_command_line Main.argspec;;
Main.do_main ();;

   Copyright 2013   

Extension.activate "recfun";;
Main.parse_command_line Main.argspec;;
Main.do_main ();;
