VirtualRemoteClass: obj A: R_test:< S0: V:< A S1: S0 P: R_test: ref V S: S1 V::< go: R: ref S S2: S Dnm1: R.P V::< gogo: X: obj S2