use diag_printf