Library core_extended

The entry point for this library is module Core_extended.