TYPE E = e:INT e1:STR; F = f : E f1 : STR; ENDTYPE pp(bless(F, ) );