#include <why2/flags.h>

int getSkipCheck()
{
    return skipCheck;
}

void setSkipCheck(int skipCheckNew)
{
    skipCheck = skipCheckNew;
}