static int niceButtons_maxImageSize = 128;

static int niceButtons_maxImageSize() {
  ret niceButtons_maxImageSize;
}