main: vector demo