Type Alias VAddr 

pub type VAddr = u64;