Library core

The entry point for this library is module Core.