int main(int, char**) {
  JxlEncoderPtr enc = JxlEncoderMake(nullptr);
  JxlPixelFormat pixel_format = {1, JXL_TYPE_UINT16, JXL_NATIVE_ENDIAN, 0};
  JxlBasicInfo basic_info;
  JxlEncoderInitBasicInfo(&basic_info);
  basic_info.xsize = 1;
  basic_info.ysize = 1;
  basic_info.bits_per_sample = 16;
  basic_info.uses_original_profile = JXL_TRUE;
  basic_info.num_color_channels = pixel_format.num_channels;
  if (JXL_ENC_SUCCESS != JxlEncoderSetBasicInfo(enc.get(), &basic_info)) abort();

  JxlColorEncoding color_encoding = {};
  JXL_BOOL is_gray = TO_JXL_BOOL(pixel_format.num_channels < 3);
  JxlColorEncodingSetToSRGB(&color_encoding, is_gray);
  if (JXL_ENC_SUCCESS != JxlEncoderSetColorEncoding(enc.get(), &color_encoding)) abort();
  JxlEncoderFrameSettings* f = JxlEncoderFrameSettingsCreate(enc.get(), nullptr);
  if (JXL_ENC_SUCCESS != JxlEncoderFrameSettingsSetOption(f, JXL_ENC_FRAME_SETTING_EFFORT, 8)) abort();
  if (JXL_ENC_SUCCESS != JxlEncoderSetFrameLossless(f, JXL_TRUE)) abort();
  uint16_t pixels = 1020;
  if (JXL_ENC_SUCCESS != JxlEncoderAddImageFrame(f, &pixel_format, &pixels, 16)) abort();
  JxlEncoderCloseInput(enc.get());

  std::vector<uint8_t> compressed(1024);
  uint8_t* next_out = compressed.data();
  size_t avail_out = compressed.size();
  JxlEncoderProcessOutput(enc.get(), &next_out, &avail_out);
  return EXIT_SUCCESS;
}