pub const HRSS_CIPHERTEXT_BYTES: i32 = 1138;