source checker.dbg

load_printer checker_printers.cmo

source checker_printers.dbg