Definition at line 156 of file 3.cc.
References test03(), and test04().
Definition at line 25 of file 3.cc.
References VERIFY.
Referenced by main().
Definition at line 88 of file 3.cc.