{"ast_node_type":"function","tokens":[{"end":29,"kind":"keyword","start":0,"text":"fn"}]}
    fn get_global_alloc_salt(
    /// (this lets Miri ensure unique addresses for some functions).
        ecx: &InterpCx<'tcx, Self>,