#!/usr/bin/env /friends/bin/cscript
#include <stdio.h>
int main() {
  printf("%x\n", (unsigned int)(0x80000000));
}