deferred class TEST3 [G] feature query (a: G): REAL_64 is deferred end end