still more on plain tex support