Faut que tu analyses le comportement de la chose.
En réalité peekibit est une macro sur & (enfin de mémoire) donc ça te donnerait table[index] & (1 << 13). Donc si ton table[index] est de type trop petit tu aura une extension de type automatique. En gros soit ça retournera soit toujours 0 soit le signe si ta valeur était signée. (Et le compilateur pourrait même optimiser ça mais je sais pas si gcc va si loin
)