if (argc < 3) {
printf ("Usage: %s platform_file deployment_file\n",argv[0]);
printf ("example: %s msg_platform.xml msg_deployment.xml\n",argv[0]);
if (argc < 3) {
printf ("Usage: %s platform_file deployment_file\n",argv[0]);
printf ("example: %s msg_platform.xml msg_deployment.xml\n",argv[0]);