/* @(#)Methods.java   14 September 2006 */

import edu.neu.ccs.jpf.*;

/** The sample starter class for Java Power Framework. */
public class Methods extends JPF 
{
    
    public static void main(String[] args) { 
        new Methods();
    }
    
    
    public void TestFoo() {
        Foo a = new Foo(2, 3);
        a.print();
        
        Foo b = new Foo(5, 7);
        b.print("b");
    }
}