#include <stdio.h>
int main( void )
{
        int nums[] = { 23, 8, 11, 31 };
        int i;
        for ( i = 0; i < 4; ++i ) {
                printf( "%d ", nums[i] );
        }
}