#include "truco_server.h"

#define PUERTO 1488

// Driver function 
int main()
{ 
    iniciar_servidor(PUERTO);
}