text: 
  /* This file is automatically generated by the tool create-random.py */
  /* Command: ['./create-random-stars.py', '--count', '200'] */
  #include "stars.h"
  
  star_t stars[] = {
      { .x = 3580, .y = 67, .speed = 25 },
      { .x = 8456, .y = 228, .speed = 14 },
      { .x = 8643, .y = 149, .speed = 2 },
      { .x = 2740, .y = 247, .speed = 15 },
      { .x = 685, .y = 565, .speed = 28 },
      { .x = 12707, .y = 150, .speed = 4 },
      { .x = 1434, .y = 311, .speed = 14 },
      { .x = 7008, .y = 523, .speed = 8 },
      { .x = 500, .y = 435, .speed = 31 },
      { .x = 499, .y = 342, .speed = 2 },
      { .x = 12121, .y = 481, .speed = 24 },
      { .x = 2181, .y = 431, .speed = 26 },
      { .x = 6561, .y = 287, .speed = 5 },
      { .x = 6304, .y = 572, .speed = 16 },
      { .x = 307, .y = 127, .speed = 6 },
      { .x = 5970, .y = 161, .speed = 18 },
      { .x = 12573, .y = 300, .speed = 16 },
      { .x = 9080, .y = 302, .speed = 4 },
      { .x = 6838, .y = 472, .speed = 13 },
      { .x = 5870, .y = 59, .speed = 26 },
      { .x = 4782, .y = 592, .speed = 26 },
      { .x = 2313, .y = 160, .speed = 24 },
      { .x = 9576, .y = 559, .speed = 30 },
      { .x = 9002, .y = 269, .speed = 6 },
      { .x = 11548, .y = 469, .speed = 12 },
      { .x = 11027, .y = 401, .speed = 17 },
      { .x = 12550, .y = 66, .speed = 6 },
      { .x = 11644, .y = 199, .speed = 12 },
      { .x = 2647, .y = 330, .speed = 7 },
      { .x = 4050, .y = 266, .speed = 11 },
      { .x = 7964, .y = 201, .speed = 2 },
      { .x = 10102, .y = 378, .speed = 2 },
      { .x = 3178, .y = 579, .speed = 10 },
      { .x = 8771, .y = 115, .speed = 10 },
      { .x = 4298, .y = 137, .speed = 27 },
      { .x = 1228, .y = 289, .speed = 6 },
      { .x = 12511, .y = 399, .speed = 8 },
      { .x = 2932, .y = 349, .speed = 7 },
      { .x = 1437, .y = 550, .speed = 31 },
      { .x = 12687, .y = 278, .speed = 8 },
      { .x = 10002, .y = 114, .speed = 8 },
      { .x = 10818, .y = 208, .speed = 5 },
      { .x = 9354, .y = 472, .speed = 4 },
      { .x = 11628, .y = 134, .speed = 18 },
      { .x = 10153, .y = 570, .speed = 6 },
      { .x = 2524, .y = 539, .speed = 17 },
      { .x = 1007, .y = 511, .speed = 12 },
      { .x = 4824, .y = 206, .speed = 14 },
      { .x = 8012, .y = 592, .speed = 19 },
      { .x = 10216, .y = 557, .speed = 3 },
      { .x = 7419, .y = 222, .speed = 24 },
      { .x = 356, .y = 242, .speed = 30 },
      { .x = 1259, .y = 529, .speed = 12 },
      { .x = 10499, .y = 112, .speed = 22 },
      { .x = 10070, .y = 171, .speed = 14 },
      { .x = 12661, .y = 415, .speed = 4 },
      { .x = 9996, .y = 412, .speed = 24 },
      { .x = 7238, .y = 532, .speed = 7 },
      { .x = 2485, .y = 304, .speed = 12 },
      { .x = 12634, .y = 305, .speed = 10 },
      { .x = 563, .y = 500, .speed = 3 },
      { .x = 4647, .y = 326, .speed = 21 },
      { .x = 1951, .y = 401, .speed = 16 },
      { .x = 2998, .y = 395, .speed = 30 },
      { .x = 3917, .y = 36, .speed = 7 },
      { .x = 8981, .y = 131, .speed = 12 },
      { .x = 1844, .y = 476, .speed = 1 },
      { .x = 5311, .y = 100, .speed = 13 },
      { .x = 11319, .y = 557, .speed = 1 },
      { .x = 387, .y = 128, .speed = 18 },
      { .x = 10567, .y = 579, .speed = 13 },
      { .x = 4534, .y = 5, .speed = 30 },
      { .x = 4117, .y = 214, .speed = 21 },
      { .x = 8531, .y = 424, .speed = 23 },
      { .x = 4356, .y = 480, .speed = 26 },
      { .x = 6545, .y = 344, .speed = 16 },
      { .x = 9596, .y = 393, .speed = 2 },
      { .x = 6662, .y = 467, .speed = 19 },
      { .x = 4007, .y = 361, .speed = 18 },
      { .x = 6372, .y = 269, .speed = 26 },
      { .x = 11223, .y = 188, .speed = 8 },
      { .x = 2598, .y = 238, .speed = 29 },
      { .x = 4965, .y = 161, .speed = 13 },
      { .x = 11788, .y = 344, .speed = 1 },
      { .x = 9054, .y = 393, .speed = 3 },
      { .x = 161, .y = 439, .speed = 15 },
      { .x = 10584, .y = 591, .speed = 8 },
      { .x = 1180, .y = 335, .speed = 10 },
      { .x = 10608, .y = 4, .speed = 8 },
      { .x = 2955, .y = 61, .speed = 28 },
      { .x = 585, .y = 572, .speed = 1 },
      { .x = 1714, .y = 308, .speed = 13 },
      { .x = 3921, .y = 378, .speed = 21 },
      { .x = 3156, .y = 555, .speed = 31 },
      { .x = 7854, .y = 536, .speed = 21 },
      { .x = 1794, .y = 157, .speed = 5 },
      { .x = 11885, .y = 580, .speed = 28 },
      { .x = 7471, .y = 35, .speed = 16 },
      { .x = 11514, .y = 186, .speed = 14 },
      { .x = 6975, .y = 23, .speed = 9 },
      { .x = 7560, .y = 137, .speed = 26 },
      { .x = 10891, .y = 85, .speed = 4 },
      { .x = 4653, .y = 4, .speed = 17 },
      { .x = 5017, .y = 97, .speed = 11 },
      { .x = 6869, .y = 165, .speed = 22 },
      { .x = 2413, .y = 559, .speed = 7 },
      { .x = 12489, .y = 438, .speed = 12 },
      { .x = 11058, .y = 108, .speed = 14 },
      { .x = 914, .y = 525, .speed = 16 },
      { .x = 11435, .y = 89, .speed = 23 },
      { .x = 1147, .y = 17, .speed = 8 },
      { .x = 7093, .y = 30, .speed = 23 },
      { .x = 12115, .y = 271, .speed = 14 },
      { .x = 12544, .y = 578, .speed = 7 },
      { .x = 7089, .y = 225, .speed = 18 },
      { .x = 11410, .y = 556, .speed = 29 },
      { .x = 9765, .y = 126, .speed = 21 },
      { .x = 12202, .y = 250, .speed = 22 },
      { .x = 4236, .y = 152, .speed = 11 },
      { .x = 9195, .y = 416, .speed = 19 },
      { .x = 3078, .y = 59, .speed = 18 },
      { .x = 5800, .y = 29, .speed = 25 },
      { .x = 9796, .y = 577, .speed = 17 },
      { .x = 10725, .y = 202, .speed = 5 },
      { .x = 6281, .y = 291, .speed = 15 },
      { .x = 10782, .y = 545, .speed = 17 },
      { .x = 282, .y = 284, .speed = 30 },
      { .x = 11225, .y = 158, .speed = 22 },
      { .x = 4969, .y = 39, .speed = 12 },
      { .x = 3661, .y = 495, .speed = 14 },
      { .x = 8033, .y = 522, .speed = 20 },
      { .x = 6667, .y = 566, .speed = 26 },
      { .x = 3748, .y = 365, .speed = 9 },
      { .x = 527, .y = 53, .speed = 11 },
      { .x = 219, .y = 305, .speed = 8 },
      { .x = 11917, .y = 87, .speed = 28 },
      { .x = 8763, .y = 392, .speed = 25 },
      { .x = 5868, .y = 173, .speed = 29 },
      { .x = 3857, .y = 226, .speed = 1 },
      { .x = 11365, .y = 189, .speed = 7 },
      { .x = 11870, .y = 454, .speed = 22 },
      { .x = 3560, .y = 55, .speed = 29 },
      { .x = 7772, .y = 125, .speed = 18 },
      { .x = 6796, .y = 22, .speed = 31 },
      { .x = 3990, .y = 569, .speed = 27 },
      { .x = 4316, .y = 51, .speed = 28 },
      { .x = 7965, .y = 117, .speed = 5 },
      { .x = 9416, .y = 148, .speed = 22 },
      { .x = 6727, .y = 570, .speed = 19 },
      { .x = 8239, .y = 216, .speed = 21 },
      { .x = 6779, .y = 272, .speed = 10 },
      { .x = 8639, .y = 447, .speed = 4 },
      { .x = 7018, .y = 374, .speed = 16 },
      { .x = 3691, .y = 220, .speed = 6 },
      { .x = 4487, .y = 489, .speed = 4 },
      { .x = 7737, .y = 429, .speed = 29 },
      { .x = 373, .y = 299, .speed = 31 },
      { .x = 9845, .y = 35, .speed = 30 },
      { .x = 10451, .y = 298, .speed = 1 },
      { .x = 8081, .y = 74, .speed = 24 },
      { .x = 9340, .y = 480, .speed = 3 },
      { .x = 11008, .y = 434, .speed = 4 },
      { .x = 10574, .y = 551, .speed = 5 },
      { .x = 11310, .y = 504, .speed = 29 },
      { .x = 8385, .y = 454, .speed = 26 },
      { .x = 4458, .y = 495, .speed = 7 },
      { .x = 11864, .y = 214, .speed = 27 },
      { .x = 9211, .y = 10, .speed = 5 },
      { .x = 3022, .y = 142, .speed = 20 },
      { .x = 10213, .y = 246, .speed = 8 },
      { .x = 4741, .y = 553, .speed = 25 },
      { .x = 9636, .y = 427, .speed = 4 },
      { .x = 7999, .y = 237, .speed = 23 },
      { .x = 4204, .y = 432, .speed = 1 },
      { .x = 682, .y = 300, .speed = 19 },
      { .x = 7611, .y = 263, .speed = 14 },
      { .x = 11929, .y = 576, .speed = 30 },
      { .x = 7032, .y = 266, .speed = 2 },
      { .x = 10207, .y = 130, .speed = 29 },
      { .x = 3866, .y = 432, .speed = 13 },
      { .x = 3185, .y = 35, .speed = 4 },
      { .x = 11916, .y = 592, .speed = 30 },
      { .x = 10705, .y = 558, .speed = 2 },
      { .x = 11555, .y = 252, .speed = 26 },
      { .x = 748, .y = 71, .speed = 21 },
      { .x = 5048, .y = 78, .speed = 28 },
      { .x = 10725, .y = 427, .speed = 9 },
      { .x = 10143, .y = 401, .speed = 8 },
      { .x = 652, .y = 187, .speed = 1 },
      { .x = 7017, .y = 389, .speed = 10 },
      { .x = 12630, .y = 214, .speed = 30 },
      { .x = 7621, .y = 388, .speed = 6 },
      { .x = 8681, .y = 267, .speed = 21 },
      { .x = 5066, .y = 9, .speed = 28 },
      { .x = 486, .y = 323, .speed = 21 },
      { .x = 12192, .y = 553, .speed = 21 },
      { .x = 10307, .y = 389, .speed = 5 },
      { .x = 10164, .y = 490, .speed = 26 },
      { .x = 3668, .y = 75, .speed = 19 },
      { .x = 297, .y = 236, .speed = 28 },
      };
  