Crate hax_test_harness