Constant PINNED_JULIE_VERSION 

pub const PINNED_JULIE_VERSION: &str = "3.0.0";