C library verification project