int switchdef(int);

int main()
{
    return !( 14 == switchdef(2) );
}