Top-level module