Standard library for Coca.