#include <stdio.h>
#include <string.h>
#include <stdlib.h>
#include <stddef.h>

/****************************************************************************/
/* main                                                                     */
/****************************************************************************/

int main( int argc, char *argv[] )
    {
    char stuff[256];
    int  index;

    for ( index = 1; index < argc; index++ )
        printf( "%s ", argv[index] );
    
    putchar( '\n' );

    exit( 0 );
    }
