Use stdbool, and get rid of the boolean type