An important behaviour that should be documented is what happens when
the second argument to these verification macros is missing.  What happens
in this case?  I certainly prefer not changing the kernel source code as
I do not have a test machine right now.

Have a nice day!
Igor.