do { if() } while(0) reduced to if() else /* ; */