1  extern int hit_pic_addr;
       2  extern int hit_pic_addr_call;
       3  extern int hit_pic_nothing;
       4  extern int hit_pic_call;
       5  
       6  extern int hit_nonpic_addr;
       7  extern int hit_nonpic_addr_call;
       8  extern int hit_nonpic_call;
       9  extern int hit_nonpic_nothing;
      10  
      11  extern void nonpic_addr (void);
      12  extern void nonpic_call (void);
      13  extern void nonpic_addr_call (void);
      14  extern void nonpic_nothing (void);
      15  extern void nonpic_receive_fn_addr (void *);
      16  
      17  extern void pic_addr (void);
      18  extern void pic_call (void);
      19  extern void pic_addr_call (void);
      20  extern void pic_receive_fn_addr (void *);
      21  extern void pic_nothing (void);
      22  
      23  extern void abort (void);
      24  extern void exit (int);