Constant Shiprock

pub const Shiprock: Tz;