Constant RECORD_ALLOCATION 

pub const RECORD_ALLOCATION: u64 = 0x6b0add9f7769824d;