Add more test vectors in AIX format