以下程序段的输出结果是 main () { int x = 4 ; do { printf ( "%4d", x -= 3 ); } while ( !( -- x )) ; }A. 1 -2 B. 3 -2C. 1 -3 D. 不输出