module NOTX (out,in,notifier,reset);
  output out;
  input  in;
  input  notifier;
  input  reset;

  wire   preout;

  XPROP x1 (preout, in, notifier, reset);

  not   n1 (out, preout);

endmodule