gettext: reduce complexity, drop unused code
printf2: reduce complexity, use Printf.ksprintf
printexc2: reduce complexity, drop unused code
printf2: add ?exn parameter for easy exception printing