let _ = Checker.start ()