`(%def-function ,names ,(convert-lispworks-args args)
,@(if module (list :module module) (values))
,@(if returning (list :returning returning) (values)))
`(%def-function ,names ,(convert-lispworks-args args)
,@(if module (list :module module) (values))
,@(if returning (list :returning returning) (values)))