#define LIBRARY             "bigint"

#include "../icmconf"
