campo-sirio/in/in0.h

int is0500(int argc, char* argv[]);
int is0600(int argc, char* argv[]);
int is0700(int argc, char* argv[]);