void destruct (struct pino *p) /* pinon tyhjennys */
    {
        while (!(empty(p)))
        {
            pop(p);
        }
    }