(defmethod gf503095 ()
  (gf503095))

(defun f503095 ()
  (gf503095))