module __hfloat16__min_normal_exp(
  output wire [4:0] out
);
  assign out = 5'h12;
endmodule