more on plain tex support