printsaprop0
printsaprop0(LLV_DEBUG, approval);
printsaprop0(LLV_DEBUG, q1);
printsaprop0(LLV_DEBUG, q2);
printsaprop0(LLV_DEBUG, newpp);
printsaprop0(LLV_DEBUG, newpp);
printsaprop0(pri, p);
extern void printsaprop0(const int, const struct saprop *);