(defun main (&rest argv) (declare (ignorable argv)) (format t "500~%")) (main)