dbg_printf prints a variable number
      (max. eight) of arguments to the system console of Virtuoso server,
      each argument formatted in C printf style,
      according to the format string specified in the first argument.