Constant HRSS_CIPHERTEXT_BYTES 

pub const HRSS_CIPHERTEXT_BYTES: i32 = 1138;