Added the test vectors into main()