use u64 literals