Constant CKA_X2RATCHET_BOBS1STMSG 

pub const CKA_X2RATCHET_BOBS1STMSG: CK_ATTRIBUTE_TYPE = 1540;