Constant Shiprock 

pub const Shiprock: Tz;