Constant RECORD_DEALLOCATION 

pub const RECORD_DEALLOCATION: u64 = 0x503bff5ec34dbeeb;