lean config optimized for C programming