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