Constant DEFAULT_VIRTUAL_ADDRESS 

pub const DEFAULT_VIRTUAL_ADDRESS: Address;