// ve6300.cpp. Composizione interattiva dei documenti. int ve6300 (int argc, char** argv) { return 0; }