anchor.diff:   
   %%
   %% release process monitor
  --spec(demonitor/1 :: (monitor()) -> ok).
  +-spec demonitor(monitor()) -> ok.
   
   demonitor({process, Ref, _Pid}) ->
      erlang:demonitor(Ref, [flush]);
  
positive.code: %% The caller process receives one of following messages:
  %%   {'DOWN', reference(), process, pid(), reason()}
  %%   {nodedown, node()}
  -spec(monitor/1 :: (pid()) -> monitor()).
  -spec(monitor/2 :: (atom(), pid()) -> monitor()).
  
  monitor(undefined) ->
     ok;
  
negative.code: 
  %%
  %% ioctl interface (sync and async)
  -spec ioctl(pid(), atom() | {atom(), any()}) -> any().
  -spec ioctl_(pid(), atom() | {atom(), any()}) -> any().
  
  ioctl(Pid, {Req, Val})
   when is_atom(Req) ->
  