Verify that os_get_time() does not fail before using the time value when