extern int outpngf(unsigned width, unsigned height, const float *ary,
  const char *filename);