try {uint64_t_true(true)
  //{uint64_w64_t_true(true)
}
try {uint64_t_true(true)
  //{uint64_w64_t_true(true)
}