Especificación en C tipos