LOCAL
    r : REAL;
  END_LOCAL;
  IF  (y = 0.0) AND (x = 0.0) THEN   RETURN  (?);  END_IF;
  r := atan(y,x);
  IF  x < 0.0 THEN
    IF y < 0.0 THEN  r := r - PI;
    ELSE             r := r + PI;  END_IF;
  END_IF;
  RETURN (r);