Clarify the documentation on how multiple symbols at the same address are handled