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