(short-name nil :type (or null character) :read-only t)
(arg-name nil :type (or null string) :read-only t)
(arg-optional-p nil :type t :read-only t)
(short-name nil :type (or null character) :read-only t)
(arg-name nil :type (or null string) :read-only t)
(arg-optional-p nil :type t :read-only t)