Symbol: freebsd32_uint64_t