export let original_symbol: number;