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