dietlibc/libm
