shouldn't this be u64?