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