1## args: int 2## ret: int 3## includes: strings.h 40x33ed4 50x2b 60xba3f6965 70x4 80x927e0ceb 90x7 100x0 110x3418b 120x318c 130x19a7402 140x699d4586 150x392e4 160x66 170x7fc86 180x13d 190x2aa7a61 200x29d 210x1d729b2 220x13a 230x7 240x11b958 250x3a6a23 260x1b0d749 270x1f12ecb 280x21 290x285a 300x24702 310x88799 320x10b 330x5 340x572739 350x12f0 360xa36c89 370x1 380x1f58 390x33743ce8 400xbefe 410x7 420x3 430xdc 440x1713e 450x8d28 460xbb0ef6d 470x3c7 480x2 490xd0e53fcc 500x2e2 510x762 520xf 530x35 540x2fc6e7a 550x105 560x58e3 570x3 580x16aa 590x7b1b38 600x0 610x2b 620x99538d 630xb3234 640x322 650x806bd 660xd73 670x503a 680x7d 690xb88bb919 700x4f5 710x1f757c4f 720xc37e5 730xd9e519 740xf0a 750xe9f1e8d 760x4664 770x4 780x1 790x1 800x0 810x1ee25 820x75a24 830x73c57b0 840x300e9 850x9 860x5b 870x6d25 880x38bf436e 890xf4724994 900x2b 910xb8a5de 920x4a 930x281da 940x905db8 950x3d606 960x6c200855 970x21 980x354e0dfa 990x2 1000x1 1010xf8297c3 1020x2fed30 1030xd4ab7 104