(new record_type (x 10) (y "foo"))