import android.app.Activity;
import android.widget.*;
import android.graphics.*;

  static void androidShowText(O o) {
    final S s = str(o);
    androidUI(r {
    
      TextView tv = (new TextView (androidActivity ()));
      tv.setText (s);
androidShow(tv);
    });
  }