campo-sirio/ps/ps1001.h

int ps1001100(int argc, char* argv[]);
int ps1001200(int argc, char* argv[]);
int ps1001300(int argc, char* argv[]);