(module Core_printexc)