import android.graphics.*;

static <A extends TextView> A aBold(final A a) {
  if (a != null)
    androidUI { a.setTypeface(null, Typeface.BOLD); }
  ret a;
}