let main =
(run_example (App (k5, coin 0.5)));
run_example (App (id, coin 0.5));
run_example church2;
run_example case0;
run_example case1;
run_example case2;
run_example if0;
run_example if1;
run_example foo;
run_example earthquake;
run_example alarm;
run_example test1