add vaargs
to enable useful info to be printed for debugging ...