Added --allow-defined-top and --module options.