PROC Cmd0() IS 
  IF 
    VAR 
      a = (128.2788, 75.234375), b ~ (29.411156, 18.153116), 
      c ~ (128.2788, -38.92814) 
    IN 
      (a, b) CONG (b, c) AND (b, c) CONG (c, a) AND c VER a -> 
        PS.MoveTo(a); 
        PS.LineTo(b); 
        PS.LineTo(c); 
        PS.LineTo(a); 
        PS.SetColor(Color.Green); 
        PS.Fill() 
    END 
  FI 
END;