Pike.InhibitDestruct: Mark identifiers as local. This is to avoid surprises if the user overloads the identifiers.