static <A extends TextView> A aFontSize(final float size, final A a) {
  if (a == null) ret a;
  androidUI(r { a.setTextSize(size) });
  ret a;
}