static S aGetText(final TextView tv) {
  ret tv == null ? null : androidEvalInUIThread(func -> S {
    tv.getText()
  });
}