hard_coded/ee_dummy
hard_coded/eqv_type_bug
hard_coded/functor_ho_inst_excp
hard_coded/functor_ho_inst_excp_2
hard_coded/init_excp
hard_coded/mutable_excp
hard_coded/null_char
hard_coded/pretty_printing
hard_coded/tuple_test
hard_coded/write_binary
hard_coded/write_xml
valid/bug190
valid/exists_dummy
