#include <stdio.h>

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

int main()
{
  unsigned nkeys=250;
  unsigned nlocks=250;
  unsigned keys[nkeys];
  unsigned locks[nlocks];
  unsigned r=0;
  unsigned i;
  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);
}