a = {
  0xb_b: "0xb_b", // 187
  0xb_b_bn: "0xb_b_bn", // 3003
  0b100000000000_000000000000000011n: "0b100000000000_000000000000000011n", // 536870915
};