Duplicate b00043.vtc was no fun.

Lacking a better idea, I'm moving all local tests up 10000
units, so our local test case is now b10043.vtc.