Global AVM_HIGHEST_MEM_ADDRESS

pub global AVM_HIGHEST_MEM_ADDRESS: u32;