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