module __bfloat16__max_normal_exp(
  output wire [7:0] out
);
  assign out = 8'h7f;
endmodule