proc pr t:a korn.