readded stdbool in main.c