my $p_a = $string_table{$a};
    my $p_b = $string_table{$b};