int main(int argc, char *argv[])
{
return 77; /* exit code indicating make check that test has been SKIPped */
}