struct datos_ascensor
   {int pos[4]; /* 0-> bajo, 1->1º, ..., 3->3º, -1-> ascensor */
    int puerta[4]; /* 0-> cerrada, 1-> abierta */
    int sentada[4]; /* 1-> sentada, 0-> de pie */
    int piso_ascensor; /* 0..3 */
    int semAforo;
    };

int refrescar(void);
int persona_fuera(int p);
int persona_dentro(int p);
int persona_de_pie(int p);
int persona_sentada(int p);
int abrir_puerta(void);
int cerrar_puerta(void);
int ir_piso(int piso);
int inicio_ascensor(int semAforo, struct datos_ascensor *sdap);
int personas_dentro(void);