let u_of s = s.u