Package hardcaml_step_testbench