>>602
void p(int X) {
　int isA, isB, isZ;

　isA = a(X);
　isB = b(X);

　assert(X>=0);
　izZ = z(X);

　return isA && isB && isZ;
}