This is a tiny wrapper around _gtk_css_value_print(). It's intended for usage in gdb and printf debugging.