Some test vectors