module __bfloat16__one(
  input wire sign,
  output wire [15:0] out
);
  assign out = {sign, 8'h7f, 7'h00};
endmodule