badvcl in that you can make sure it fails for the right reason.

All -badvcl's should be converted to -errvcl without undue delay.