#include "your_library.h" int howmanyweasels() { return WEASELS; }