(decoding_table_put_char): Use `make_vector' instead of