/* runs on x86 linux and osx; must compile using gcc with -m32 */
__attribute__((section(".text#")))main[]={15263113,89<<24,
3088892291,4,443,1751552,32973<<16,440,1999900416,1702128239,
1919364715,841902689,1077162032,1767992679,1868770924,109};