Constant TIP403_REGISTRY_ADDRESS 

pub const TIP403_REGISTRY_ADDRESS: Address;