pub fn add(left: u64, right: u64) -> u64