Definition at line 46 of file 2.cc.
References test02().
Definition at line 25 of file 2.cc.
References VERIFY, and z.
Referenced by main().