static int randomLineWithColor_minLineWidth = 2;
static int randomLineWithColor_maxLineWidth = 20;

static LineWithColor randomLineWithColor(int w, int h) {
  LineWithColor l = LineWithColor(randomPoint(w, h), randomPoint(w, h), randomColor());
  l.width = random_incl(randomLineWithColor_minLineWidth, randomLineWithColor_maxLineWidth);
  ret l;
}