#load "gramlib.cma";;
#load "bcoq.cma";;
open Parser;;
open Checker;;
open Kernel;;
let go () = run parse_cmd exec_command handle_top (Stream.of_channel stdin);;
