Macro-writing challenge

Write a macro check-arguments-non-nil to be used in function definitions, that would expand to assertion about every argument being non-nil.
The intended usage of this macro:

(defun foo (a b c d)
(check-arguments-non-nil)
foo-body)

This should expand to:

(defun foo (a b c d)
(assert (and (not (null a)) (not (null b)) (not (null c)) (not (null d)))
(a b c d)
"Null argument in FOO")
foo-body)

The macro must work whatever the number and names of the function parameters.

>>40
You're starting to grasp the reason Lisp has failed: macros are fundamentally uncompositional, in many ways. Unwanted capture is one of them, but there are others. For example, it's possible to define a custom defun or defmacro, but it's not possible to combine arbitrary customizations. Another way macros are non-compositional is they often don't accept other macros as arguments, even though those macros may expand to what the outer macros expect.