use stdbool.h