#x:main-out-arg-define-formal