DS80C400 C Libraries: Known Bugs