Add another optimization to keep down symbol sizes in Hollywood.