added cmp skeletons to libc.h