const SUPPORTED_TOOLKINDS: [ToolKind; 6];