mut_null deprecated, rename to null_mut