export const highlighter16: string;