(init): type of signal X is not BIT
^ declaration of X with type NATURAL
external name with type BIT
