Macro hacspec_lib::secret_bytes

macro_rules! secret_bytes {
    ([ $( $x:expr ),+ ] ) => { ... };
}