// Module entry point