#include "vt1200_xlib.h"

#define MARK(n) (*(volatile unsigned int *)(0x018A8000u + (n) * 0x20u))

int sumto(int n) {
  int s = 0;
  int i;
  for (i = 1; i <= n; i++)
    s += i;
  return s;
}

int max2(int a, int b) { return a > b ? a : b; }
int lt(int a, int b) { return a < b; }

int branch_test(void) {
  MARK(4) = (unsigned int)sumto(10);
  MARK(5) = (unsigned int)max2(20, 22);
  MARK(6) = (unsigned int)lt(5, 7);
  MARK(7) = (unsigned int)layout_screens();
  MARK(8) = (unsigned int)layout_root();
  return 0;
}