In practice, the current scheme for tracking idl-specified identifiers has proven to be too restrictive in some circumstances. This is briefly discussed in Section 4.5.