import gov.nasa.jpf.ListenerAdapter;
import gov.nasa.jpf.vm.VM;
import gov.nasa.jpf.vm.VMListener;

public class Garbage extends ListenerAdapter implements VMListener 
{
	public void gcBegin(VM vm) 
	{
		System.out.print("*");
	}
}