campo-sirio/ps/ps0713.h

int ps0713100(int argc, char* argv[]);
int ps0713200(int argc, char* argv[]);
int ps0713300(int argc, char* argv[]);