VTBT, chapter 12 (Types), page 210 A Bit_type declaration is valid if and only if its Constant is of type `INTEGER', and has a positive value not greater than 32767.