double_check_harness
