Library core.top

The entry point for this library is module Core_top.