Propeller Chip with Catalina C compiler
There are no function libraries (at least that I could find a bit ago) for Catalina. It's write-your-own-everything, at this point.



Furthermore, I would suggest you not use Catalina, but rather use prop-gcc. 

However, both C compilers are very poorly documented, mostly in beta, and have almost no libraries available.