export function is_digit(c: string): boolean {
    return c >= '0' && c <= '9';
}