New draft at https://testbot.winehq.org/JobDetails.pl?Key=22035 (the testbot seems stuck... Maarten, does it need a kick?)
Thanks to Maarten for getting me to try C varargs again; the first assembly function is now gone.
I've also added comments that explain the vcomp execution model, I hope that addresses Joerg's questions.