!7

p {
  TextView tv = aTextView("Hello world");
  androidShow(tv);
  View view = androidActivity().findViewById(android.R.id.content);
  if (view == tv) aSetText(tv, "OK!");
  else aSetText(tv, "Huh? " + view);
}