Constant ptr_without_provenance 

pub const ptr_without_provenance: Symbol;