import element.*;

public class Origin
{
    public static void origin(Pt p)
    // post: no change; p is a reassigned formal parameter
    {
        p = new Pt(0,0);
    }

    public static void origin2(Pt p)
    // pre: p is non-null
    // post: p's value is (0,0)
    {
        p.x(0);
        p.y(0);
    }

    public static void main(String args[])
    {
        ConsoleWindow c = new ConsoleWindow();
        Pt q = new Pt(10,66);
        origin(q);
        c.out.println(q);
    }
}

/*
<Point: (10,66)>
*/