char * digits_names[10] = {"zero", "one", "two", "three", "four",
			   "five", "six", "seven", "eight", "nine"};