Removed u64.h functions from test53.c