
package simple;

public class MyClass5a
{
	protected int value;
    protected int altvalue;
	
	protected void verify() {}
}
