(let ((type typeId (record m1T m2T m3T))) ())