I should have looked at the struct first, sorry. I assumed that `has_clock` was derived by checking if `vclock` is `NULL`. Why not do that? Why an extra field?