Top-level module.