static int aRed() {
  ret 0xFFFF0000;
}