(new student (x (let ((type student (record (x int)))) (new student (x 5)))))