powered by
check_equal(state, ...) "check_equal"(state, ...) check_result(state, ...) check_output(state, ...) check_error(state, ...) check_body(state, ...) "check_body"(state, ...)