Symbol: tunable_uint64_init