Definition at line 61 of file 3.cc.
References test03().
Definition at line 25 of file 3.cc.
References VERIFY, and z.
Referenced by main().