pub type VIRTUAL_ALLOCATION_TYPE = u32;