#include <stdio.h>
#include <stdlib.h>

unsigned keylocks(unsigned keys[], unsigned nkeys, unsigned locks[], unsigned nlocks);

int main(int argc, char *argv[])
{
  unsigned nkeys=250;
  unsigned nlocks=250;
  int offset=argc-1;
  unsigned *keys = (unsigned *)aligned_alloc(1024,(nkeys+offset)*sizeof(unsigned));
  unsigned *locks = (unsigned *)aligned_alloc(1024,(nlocks+offset)*sizeof(unsigned));
  unsigned r=0;
  unsigned i;
  keys  += offset;
  locks += offset;
  for (i=0; i<nkeys; i++)
    keys[i]=i+1;
  for (i=0; i<nlocks; i++)
    locks[i]=i+1;
  for (i=0; i<100000; i++)
    r+=keylocks(keys, nkeys, locks, nlocks);
  printf("%u\n",r);
}