Implements user module's main() entry point