module __acm_random__rng_sanitize_seed(
  input wire [31:0] seed,
  output wire [31:0] out
);
  wire [30:0] seed__1_squeezed;
  assign seed__1_squeezed = seed[30:0];
  assign out = {1'h0, seed__1_squeezed == 31'h0000_0000 | seed__1_squeezed == 31'h7fff_ffff ? 31'h0000_0001 : seed__1_squeezed};
endmodule