pub fn plus(a: Data, b: Data) -> Data