Combined ENSURE and ENSURE_VA