rust/library/core/tests/num/u64.rs

uint_module!(u64, u64);