default: {
    Stellerator: typeof Stellerator;
}