correctness and quality tests for libc implementations