static int defaultMaxQuineLength_value = 80;

static int defaultMaxQuineLength() {
  ret defaultMaxQuineLength_value;
}