added boolean vectors to vcode