tex3250‘s Following are private.