Use common_val_print in mi-main.c