fn concat_sign(key: &Key, a: &[u8], b: &[u8]) -> Tag