Implemented top-level module