
     vvvvaaaalllliiiidddd____bbbbiiiinnnndddd((((4444))))          MMMMuuuuddddOOOOSSSS ((((22222222 JJJJaaaannnn 1111999999995555))))          vvvvaaaalllliiiidddd____bbbbiiiinnnndddd((((4444))))

     NNNNAAAAMMMMEEEE
          valid_bind - controls the use of the bind() efun

     SSSSYYYYNNNNOOOOPPPPSSSSIIIISSSS
          int valid_bind(object binder, object old_owner, object
          new_owner)

     DDDDEEEESSSSCCCCRRRRIIIIPPPPTTTTIIIIOOOONNNN
          This routine is called with 'binder' attempts to use the
          bind() efun to make a function pointer which belongs to
          'old_owner' belong to otherwise an error is

     Page 1                                          (printed 3/16/95)

