const int x;

P=? [ F s=7 & d=x ]