Seems to me as though it was a partial bit of code that never gets used. And in fact removing it cleans up a few ifdefs from the MILAN code. Attached patch.Currently I don't know completely how this all works, but the subscript of makes clearly exceeds 19, and kbd_lock gets overwritten: It has
So you removed the makes-array? Seems it's indeed never used. But what was the intention to introduce it?
Is the eiffel-bug gone? -- Helmut Karlowski