added PUSHVEC bytecode instruction