Definition at line 39 of file 2.cc.
References test03().
Definition at line 25 of file 2.cc.
References s1, s2, and VERIFY.
Referenced by main().