<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_adlu898eh79l34mo8git7t6gbd, O_RDWR) failed: No space left on device (28) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
<br />
<b>Warning</b>:  session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
srecord noeq PosterizeBWImage(int brightnessLevels, BWImage img) is PixelPreservingImageOpResult<BWImage> {
  BWImage result;
  
  run {
    if (brightnessLevels >= 256 || img == null) ret with result = img;
    byte[] pixels = img.getBytes();
    int w = img.getWidth(), h = img.getHeight(), n = pixels.length;
    byte[] pixels2 = new[n];
    posterizer = cachePosterier(SinglePixelPosterizer(brightnessLevels));

    for i to n:
      pixels2[i] = (byte) posterizer.get(ubyteToInt(pixels[i]));
  
    result = new BWImage(w, h, pixels2);
  }
  
  public BWImage pixelPreservingSrcImage() { ret img; }
  
  BWImage get() { if (result == null) run(); ret result; }
}