rework vectors to be verifiable
c11