campo-sirio/ps/pg0001.h

int pg0001100(int argc, char* argv[]);
int pg0001200(int argc, char* argv[]);
int pg0001300(int argc, char* argv[]);