}
@Override
public void update(Observable obs, Object st) {
VMState state = (VMState) st;
Trace trace = state.getExecutionTrace().get( state.getExecutionTrace().size()-1 );
System.out.println( trace );
if ( limit > 0 && state.getTicks() > limit ) {
System.exit(1);
}
}