Output an external definition. Input: s Symbol to do EXTDEF on
External index of the definition (1,2,...)
See Implementation
Output an external definition. Input: s Symbol to do EXTDEF on