I don't think you'd need to modify this location, these are the intrinsics we expose under `extern "rust-intrinsic" { ... }`