cc_string(3) on Linux

The text f76798de4438, as Debian 6.0 (Squeeze) shipped it.

The cc_string type is a C ADT for ASCII string management. This is a Coin extension.

cc_string(3) on Linux now