module __hfloat16__unflatten(
  input wire [15:0] f,
  output wire [15:0] out
);
  assign out = {f[15], f[14:10], f[9:0]};
endmodule