module __hfloat16__max_normal(
  input wire sign,
  output wire [15:0] out
);
  assign out = {sign, 5'h1e, 10'h3ff};
endmodule