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