On Tuesday 07 January 2014 13:26:42 Tom Tromey wrote:
> Remove the obsolete VA_* macros from sim.

OK
-mike