#  test two things that dereference a member of a struct that's an rvalue:
#     destroy of an MPD expresson
#     member of an MPD expression that produces a record

resource x ()
    write ("x here")
    final {
       write ("x gone")
    }
end

resource r ()
    import x

    type pt = rec (int x, y)
    procedure p() returns pt   something {
	something = pt(11,22)
	return
    }

    destroy create x()
    write (p().x, p().y)
end
