void f()
{
    a = b;
    if ( a != b )
    {
        // Something is very wrong
    }
}