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