Definition at line 72 of file 1.cc.
References test01().
Definition at line 25 of file 1.cc.
References VERIFY.
Referenced by main().