static int defaultMaxQuineLength_defaultValue = 80;
static int defaultMaxQuineLength_value = defaultMaxQuineLength_defaultValue;

static int defaultMaxQuineLength() {
  ret defaultMaxQuineLength_value;
}