macros for printing parameters (debug)