Adding print statements, it turns out, the second function `verify_clock_values(&fclks)` returns *false*.