Tagged vin-append