Changed the specification. The type of QUOTE in a literal atom is changed to an array of length max_quote_length + 1 to allow us to use the code translator. The first element of the array is always ignored.