pub const RMI_DESTROYED: usize = 1;