#ifndef __CI1_H #define __CI1_H int ci1200(int argc, char* argv[]); // stampe #endif // __CI1_H