#include <stdio.h>
#include "your_library.h"

int main()
{
  printf("WEASELS: %d\n", howmanyweasels());
  return 0;
}