added stdbool.h