New doutv() and dout_insets().