fail_due_to_record_overflow
if (!TEST_int_eq(fail_due_to_record_overflow(0), overf_expected))
if (!TEST_int_eq(fail_due_to_record_overflow(1), overf_expected))