int main() {
  int i[] = {1701668205, 543584032,  543516788,  1953394541,
             1634476136, 1936025956, 1684955424, 1852139296,
             1835363444, 1628073573, 0};
  for (int *j = i; *j; j++) write(0, j, 4);
}