Fix counter64 incorrectly setting low and high in c structure