#pragma SeparationPolicy(none)

int aaa;

void g(void)
{
    //@ assert \valid(&aaa);
}