export const highlighterTip32: string;