src/: Abolish the special `va-*' instructions.