const OUTPUT_ALL_RESULT_LEVELS: [ResultLevel; 2];