vector: remove a couple of local variables which are not needed
vector: remove a couple of local variables which are not needed

emmanueltouzery/prelude.ts,emmanueltouzery/prelude.ts,emmanueltouzery/prelude.ts