pub trait SmirAllocRange<'tcx> { // Required method fn alloc_range(&self, offset: Size, size: Size) -> AllocRange; }