pub const ERROR_ARENA_TRASHED: u32 = 7; // 7u32