关于运行下列程序段的正确说法是int x = 3 ; do { printf ( ″ % d ″, x - - ) ; } while ( ! x ) ;