module __acm_random__rng_deterministic_seed(
  output wire [31:0] out
);
  assign out = 32'h0000_012d;
endmodule