#include "library.h"

const double pi = acos(-1.0);

void main()
{ make_window(800, 800);
  set_pen_color(color::red);
  set_pen_width(2);
  double t = 0.0;
  while (t < 2 * pi)
  { const double x = 400 + 250 * cos(t);
    const double y = 400 + 250 * sin(t);
    draw_point(x, y);
    t = t + 0.00001; } }