1  #include "mips-nonpic.h"
       2  void
       3  pic_receive_fn_addr (void *x)
       4  {
       5    if (x != &pic_nothing)
       6      abort ();
       7  }