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