#include "truco_server.h"

#define PUERTO 8080

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