Simpler main module.