Definition at line 38 of file 4.cc.
References test01().
Definition at line 26 of file 4.cc.
References VERIFY.
Referenced by main().