export declare const NAMES: string[];
export declare const STATE_NAMES: Map<number, string>;
export declare const LONGEST_NAME = 10;