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

  wire   preout;

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

  buf   b1 (out, preout);

endmodule