campo-sirio/ps/ps0430.h

int ps0430100(int argc, char* argv[]);
int ps0430200(int argc, char* argv[]);
int ps0430300(int argc, char* argv[]);