#include <stdio.h>
/*
Output should be:
EB 9F 77 81 B7 34 CA 72 A7
*/

int main() 
{
   unsigned char state[256],key[]={"Key"},stream[1024]; 
   int len=9,idx; 
   
   ksa(state,key,3); 
   prga(state,stream,len); 
   
   for (idx=0; idx < len; idx++) 
      printf("%02X ",stream[idx]); 
   
   return 0; 
}