<div dir="auto">If this is true, it's a pity. Otherwise, I would like to ask Ken Thompson if he has the first C compiler.</div>