vector processor subgroup of cpu, 2 assertions