__libc_start_main(0x4035f0, 1, 0x7ffff18360b8, 0x404830, 0x404820 <unfinished ...>
XOpenDisplay(NULL)                               = 0x02317010
__printf_chk(1, 0x404cff, 0x2317ae0, 0, 0x2323710) = 25
__printf_chk(1, 0x404d17, 11, 0, 0)              = 24
__printf_chk(1, 0x404d31, 0x2317b20, 1024, 0)    = 39
__printf_chk(1, 0x404d47, 0xa1be40, 1024, 0)     = 35
strstr("The X.Org Foundation", "XFree86")        = NULL
strstr("The X.Org Foundation", "X.Org")          = "X.Org Foundation"
__printf_chk(1, 0x404d8e, 88, -1, 0x2317b24)     = 15
__printf_chk(1, 0x404d7f, 1, 6, 0)               = 5
putchar(10, 5, 0, 0x404d87, 0)                   = 10
strstr("The X.Org Foundation", "DMX")            = NULL
XExtendedMaxRequestSize(0x2317010, 68, 0xfefefeff6d6e6873, 0x6e6f6974, 0xfefefefefefefeff) = 0x3fffff
__printf_chk(1, 0x405828, 0xfffffc, 0x6e6f6974, 0xfefefefefefefeff) = 38
XDisplayMotionBufferSize(0x2317010, 38, 0x7fa2e84ce9c0, 1024, 6) = 256
__printf_chk(1, 0x404da2, 256, 1024, 6)          = 25
__printf_chk(1, 0x405850, 32, 0x404dc5, 32)      = 53
__printf_chk(1, 0x404ddf, 0x404dc5, 1024, 0)     = 30
XListPixmapFormats(0x2317010, 0x7ffff1835f24, 0x7fa2e84ce9c0, 1024, 0) = 0x2323a60
__printf_chk(1, 0x405880, 7, 0x2317c00, 7)       = 41
puts("supported pixmap formats:")                = 26
__printf_chk(1, 0x4058b0, 1, 1, 32)              = 47
__printf_chk(1, 0x4058b0, 4, 8, 32)              = 47
__printf_chk(1, 0x4058b0, 8, 8, 32)              = 47
__printf_chk(1, 0x4058b0, 15, 16, 32)            = 49
__printf_chk(1, 0x4058b0, 16, 16, 32)            = 49
__printf_chk(1, 0x4058b0, 24, 32, 32)            = 49
__printf_chk(1, 0x4058b0, 32, 32, 32)            = 49
XFree(0x2323a60, 49, 0x7fa2e84ce9c0, 1024, 0)    = 1
XDisplayKeycodes(0x2317010, 0x7ffff1835f2c, 0x7ffff1835f28, 0x2323ab0, 0x2323a60) = 1
__printf_chk(1, 0x4058e8, 8, 255, 0x2323a60)     = 41
XGetInputFocus(0x2317010, 0x7ffff1835f08, 0x7ffff1835f20, 1024, 0) = 1
__printf_chk(1, 0x404e12, 1, 0, 0x2317df0)       = 8
__printf_chk(1, 0x404e27, 0x3c00004, 8, 7)       = 28
puts("Parent")                                   = 7
XListExtensions(0x2317010, 0x7ffff1835f10, 0x7fa2e84ce9c0, -1, 5) = 0x2323bc0
__printf_chk(1, 0x404e47, 30, 30, 30)            = 28
qsort(0x02323bc0, 30, 8, 0x00402080 <unfinished ...>
strcmp("XFree86-VidModeExtension", "XFree86-DGA") = 1
strcmp("MIT-SCREEN-SAVER", "XFree86-DGA")        = -1
strcmp("DPMS", "XVideo")                         = -1
strcmp("XVideo-MotionCompensation", "X-Resource") = 1
strcmp("DPMS", "X-Resource")                     = -1
strcmp("XVideo", "X-Resource")                   = 1
strcmp("XVideo", "XVideo-MotionCompensation")    = -1
strcmp("MIT-SCREEN-SAVER", "DPMS")               = 1
strcmp("MIT-SCREEN-SAVER", "X-Resource")         = -1
strcmp("XFree86-DGA", "X-Resource")              = 1
strcmp("XFree86-DGA", "XVideo")                  = -1
strcmp("XFree86-VidModeExtension", "XVideo")     = -1
strcmp("GLX", "DOUBLE-BUFFER")                   = 1
strcmp("RECORD", "DRI2")                         = 1
strcmp("DOUBLE-BUFFER", "DRI2")                  = -1
strcmp("GLX", "DRI2")                            = 1
strcmp("GLX", "RECORD")                          = -1
strcmp("NV-GLX", "NV-CONTROL")                   = 1
strcmp("Generic Event Extension", "SHAPE")       = -1
strcmp("NV-CONTROL", "Generic Event Extension")  = 1
strcmp("NV-CONTROL", "SHAPE")                    = -1
strcmp("NV-GLX", "SHAPE")                        = -1
strcmp("DOUBLE-BUFFER", "Generic Event Extension") = -1
strcmp("DRI2", "Generic Event Extension")        = -1
strcmp("GLX", "Generic Event Extension")         = -1
strcmp("RECORD", "Generic Event Extension")      = 1
strcmp("RECORD", "NV-CONTROL")                   = 1
strcmp("RECORD", "NV-GLX")                       = 1
strcmp("RECORD", "SHAPE")                        = -1
strcmp("DPMS", "DOUBLE-BUFFER")                  = 1
strcmp("DPMS", "DRI2")                           = -1
strcmp("MIT-SCREEN-SAVER", "DRI2")               = 1
strcmp("MIT-SCREEN-SAVER", "GLX")                = 1
strcmp("MIT-SCREEN-SAVER", "Generic Event Extension") = 1
strcmp("MIT-SCREEN-SAVER", "NV-CONTROL")         = -1
strcmp("X-Resource", "NV-CONTROL")               = 1
strcmp("X-Resource", "NV-GLX")                   = 1
strcmp("X-Resource", "RECORD")                   = 1
strcmp("X-Resource", "SHAPE")                    = 1
strcmp("XInputExtension", "XTEST")               = -1
strcmp("MIT-SHM", "XInputExtension")             = -1
strcmp("BIG-REQUESTS", "SYNC")                   = -1
strcmp("XKEYBOARD", "XC-MISC")                   = 1
strcmp("BIG-REQUESTS", "XC-MISC")                = -1
strcmp("SYNC", "XC-MISC")                        = -1
strcmp("MIT-SHM", "BIG-REQUESTS")                = 1
strcmp("MIT-SHM", "SYNC")                        = -1
strcmp("XInputExtension", "SYNC")                = 1
strcmp("XInputExtension", "XC-MISC")             = 1
strcmp("XInputExtension", "XKEYBOARD")           = -1
strcmp("XTEST", "XKEYBOARD")                     = 1
strcmp("SECURITY", "XINERAMA")                   = -1
strcmp("XFIXES", "RENDER")                       = 1
strcmp("SECURITY", "RENDER")                     = 1
strcmp("SECURITY", "XFIXES")                     = -1
strcmp("XINERAMA", "XFIXES")                     = 1
strcmp("RANDR", "XINERAMA")                      = -1
strcmp("Composite", "DAMAGE")                    = -1
strcmp("RANDR", "Composite")                     = 1
strcmp("RANDR", "DAMAGE")                        = 1
strcmp("RENDER", "Composite")                    = 1
strcmp("RENDER", "DAMAGE")                       = 1
strcmp("RENDER", "RANDR")                        = 1
strcmp("RENDER", "XINERAMA")                     = -1
strcmp("SECURITY", "XINERAMA")                   = -1
strcmp("XFIXES", "XINERAMA")                     = -1
strcmp("XINERAMA", "XINERAMA")                   = 0
strcmp("BIG-REQUESTS", "Composite")              = -1
strcmp("MIT-SHM", "Composite")                   = 1
strcmp("MIT-SHM", "DAMAGE")                      = 1
strcmp("MIT-SHM", "RANDR")                       = -1
strcmp("SYNC", "RANDR")                          = 1
strcmp("SYNC", "RENDER")                         = 1
strcmp("SYNC", "SECURITY")                       = 1
strcmp("SYNC", "XFIXES")                         = -1
strcmp("XC-MISC", "XFIXES")                      = -1
strcmp("XInputExtension", "XFIXES")              = 1
strcmp("XInputExtension", "XINERAMA")            = 1
strcmp("XInputExtension", "XINERAMA")            = 1
strcmp("DOUBLE-BUFFER", "BIG-REQUESTS")          = 1
strcmp("DOUBLE-BUFFER", "Composite")             = 1
strcmp("DOUBLE-BUFFER", "DAMAGE")                = 1
strcmp("DOUBLE-BUFFER", "MIT-SHM")               = -1
strcmp("DPMS", "MIT-SHM")                        = -1
strcmp("DRI2", "MIT-SHM")                        = -1
strcmp("GLX", "MIT-SHM")                         = -1
strcmp("Generic Event Extension", "MIT-SHM")     = -1
strcmp("MIT-SCREEN-SAVER", "MIT-SHM")            = -1
strcmp("NV-CONTROL", "MIT-SHM")                  = 1
strcmp("NV-CONTROL", "RANDR")                    = -1
strcmp("NV-GLX", "RANDR")                        = -1
strcmp("RECORD", "RANDR")                        = 1
strcmp("RECORD", "RENDER")                       = -1
strcmp("SHAPE", "RENDER")                        = 1
strcmp("SHAPE", "SECURITY")                      = 1
strcmp("SHAPE", "SYNC")                          = -1
strcmp("X-Resource", "SYNC")                     = 1
strcmp("X-Resource", "XC-MISC")                  = -1
strcmp("XFree86-DGA", "XC-MISC")                 = 1
strcmp("XFree86-DGA", "XFIXES")                  = 1
strcmp("XFree86-DGA", "XINERAMA")                = -1
strcmp("XFree86-VidModeExtension", "XINERAMA")   = -1
strcmp("XVideo", "XINERAMA")                     = 1
strcmp("XVideo", "XINERAMA")                     = 1
strcmp("XVideo", "XInputExtension")              = 1
strcmp("XVideo", "XKEYBOARD")                    = 1
strcmp("XVideo", "XTEST")                        = 1
<... qsort resumed> )                            = <void>
__printf_chk(1, 0x4049c5, 0x2323d94, 0x2323cfc, 0) = 17
__printf_chk(1, 0x4049c5, 0x2323de7, 1024, 0)    = 14
__printf_chk(1, 0x4049c5, 0x2323df1, 1024, 0)    = 11
__printf_chk(1, 0x4049c5, 0x2323d2c, 1024, 0)    = 18
__printf_chk(1, 0x4049c5, 0x2323cf7, 1024, 0)    = 9
__printf_chk(1, 0x4049c5, 0x2323d41, 1024, 0)    = 9
__printf_chk(1, 0x4049c5, 0x2323d28, 1024, 0)    = 8
__printf_chk(1, 0x4049c5, 0x2323d58, 1024, 0)    = 28
__printf_chk(1, 0x4049c5, 0x2323cc1, 1024, 0)    = 21
__printf_chk(1, 0x4049c5, 0x2323d76, 1024, 0)    = 12
__printf_chk(1, 0x4049c5, 0x2323d4d, 1024, 0)    = 15
__printf_chk(1, 0x4049c5, 0x2323d46, 1024, 0)    = 11
__printf_chk(1, 0x4049c5, 0x2323dd8, 1024, 0)    = 10
__printf_chk(1, 0x4049c5, 0x2323d3a, 1024, 0)    = 11
__printf_chk(1, 0x4049c5, 0x2323dd1, 1024, 0)    = 11
__printf_chk(1, 0x4049c5, 0x2323db8, 1024, 0)    = 13
__printf_chk(1, 0x4049c5, 0x2323d70, 1024, 0)    = 10
__printf_chk(1, 0x4049c5, 0x2323da1, 1024, 0)    = 9
__printf_chk(1, 0x4049c5, 0x2323d1d, 1024, 0)    = 15
__printf_chk(1, 0x4049c5, 0x2323db0, 1024, 0)    = 12
__printf_chk(1, 0x4049c5, 0x2323dca, 1024, 0)    = 11
__printf_chk(1, 0x4049c5, 0x2323ceb, 1024, 0)    = 16
__printf_chk(1, 0x4049c5, 0x2323cd2, 1024, 0)    = 29
__printf_chk(1, 0x4049c5, 0x2323dc1, 1024, 0)    = 13
__printf_chk(1, 0x4049c5, 0x2323dde, 1024, 0)    = 13
__printf_chk(1, 0x4049c5, 0x2323d7e, 1024, 0)    = 20
__printf_chk(1, 0x4049c5, 0x2323da6, 1024, 0)    = 14
__printf_chk(1, 0x4049c5, 0x2323d8e, 1024, 0)    = 10
__printf_chk(1, 0x4049c5, 0x2323cfc, 1024, 0)    = 11
__printf_chk(1, 0x4049c5, 0x2323d03, 1024, 0)    = 30
__printf_chk(1, 0x404e78, 0, 1024, 0)            = 28
__printf_chk(1, 0x404e96, 1, 1024, 0)            = 24
putchar(10, 24, 0x7fa2e84ce9c0, 0x7ffff1835f34, 1) = 10
__printf_chk(1, 0x404eb0, 0, -1, 10)             = 11
XDisplayHeightMM(0x2317010, 0, 0x7fa2e84ce9c0, 1024, 1) = 272
XDisplayWidthMM(0x2317010, 0, 0x7fa2e84ce9c0, 1024, 1) = 373
XDisplayHeight(0x2317010, 0, 0x7fa2e84ce9c0, 1024, 1) = 1200
XDisplayWidth(0x2317010, 0, 0x7fa2e84ce9c0, 1024, 1) = 1600
__printf_chk(1, 0x405918, 1600, 1200, 373)       = 56
__printf_chk(1, 0x405950, 109, 112, 13)          = 39
XListDepths(0x2317010, 0, 0x7ffff1835f18, 1024, 14) = 0x2323710
__printf_chk(1, 0x404ebd, 7, 28, 28)             = 17
__printf_chk(1, 0x404e75, 24, 6, 5)              = 2
_IO_putc(',', 0x7fa2e84cd780)                    = 44
_IO_putc(' ', 0x7fa2e84cd780)                    = 32
__printf_chk(1, 0x404e75, 1, 0x404e77, 0x7fa2e980f6f0) = 1
_IO_putc(',', 0x7fa2e84cd780)                    = 44
_IO_putc(' ', 0x7fa2e84cd780)                    = 32
__printf_chk(1, 0x404e75, 4, 0x404e77, 0x7fa2e980f6f0) = 1
_IO_putc(',', 0x7fa2e84cd780)                    = 44
_IO_putc(' ', 0x7fa2e84cd780)                    = 32
__printf_chk(1, 0x404e75, 8, 0x404e77, 0x7fa2e980f6f0) = 1
_IO_putc(',', 0x7fa2e84cd780)                    = 44
_IO_putc(' ', 0x7fa2e84cd780)                    = 32
__printf_chk(1, 0x404e75, 15, 0x404e77, 0x7fa2e980f6f0) = 2
_IO_putc(',', 0x7fa2e84cd780)                    = 44
_IO_putc(' ', 0x7fa2e84cd780)                    = 32
__printf_chk(1, 0x404e75, 16, 0x404e77, 0x7fa2e980f6f0) = 2
_IO_putc(',', 0x7fa2e84cd780)                    = 44
_IO_putc(' ', 0x7fa2e84cd780)                    = 32
__printf_chk(1, 0x404e75, 32, 0x404e77, 0x7fa2e980f6f0) = 2
_IO_putc('\n', 0x7fa2e84cd780)                   = 10
XFree(0x2323710, 10, 0x7fa2e84ce9c0, -1, 0x7fa2e980f6f0) = 1
__printf_chk(1, 0x404ed0, 423, 0, 0x2323710)     = 27
__printf_chk(1, 0x405978, 24, 0x404ad3, 0)       = 37
__printf_chk(1, 0x4059a0, 1, 1, 0)               = 47
__printf_chk(1, 0x404eec, 32, 0, 0)              = 28
__printf_chk(1, 0x4059d8, 256, 1024, 0)          = 43
__printf_chk(1, 0x405a08, 0, 0xffffff, 0)        = 50
__printf_chk(1, 0x405a38, 0x40509b, 0x40509b, 0) = 47
XQueryBestSize(0x2317010, 0, 423, 65535, 65535)  = 1
__printf_chk(1, 0x404f0a, 64, 64, 0x2323710)     = 27
__printf_chk(1, 0x405a88, 0xfa8033, 1024, 0)     = 40
strcpy(0x7ffff1835f34, "KeyPressMask             ") = 0x7ffff1835f34
strcpy(0x7ffff1835f4d, "KeyReleaseMask           ") = 0x7ffff1835f4d
strcpy(0x7ffff1835f66, "EnterWindowMask          ") = 0x7ffff1835f66
puts("    KeyPressMask             Key"...)      = 80
strcpy(0x7ffff1835f34, "LeaveWindowMask          ") = 0x7ffff1835f34
strcpy(0x7ffff1835f4d, "ExposureMask             ") = 0x7ffff1835f4d
strcpy(0x7ffff1835f66, "StructureNotifyMask      ") = 0x7ffff1835f66
puts("    LeaveWindowMask          Exp"...)      = 80
strcpy(0x7ffff1835f34, "SubstructureNotifyMask   ") = 0x7ffff1835f34
strcpy(0x7ffff1835f4d, "SubstructureRedirectMask ") = 0x7ffff1835f4d
strcpy(0x7ffff1835f66, "FocusChangeMask          ") = 0x7ffff1835f66
puts("    SubstructureNotifyMask   Sub"...)      = 80
strcpy(0x7ffff1835f34, "PropertyChangeMask       ") = 0x7ffff1835f34
strcpy(0x7ffff1835f4d, "ColormapChangeMask       ") = 0x7ffff1835f4d
puts("    PropertyChangeMask       Col"...)      = 55
XGetVisualInfo(0x2317010, 2, 0x7ffff1835ec0, 0x7ffff1835f1c, 0x202020202020206b) = 0x2323e10
__printf_chk(1, 0x404f26, 120, 40, 0)            = 28
XVisualIDFromVisual(0x2321c90, 28, 0, 1024, 0)   = 33
__printf_chk(1, 0x404f42, 33, 1024, 0)           = 27
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 33, -1, 8)             = 23
__printf_chk(1, 0x404fd6, 0x404f8c, 1024, 0)     = 24
__printf_chk(1, 0x404fe8, 24, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 34, -1, 8)             = 23
__printf_chk(1, 0x404fd6, 0x404f96, 1024, 0)     = 26
__printf_chk(1, 0x404fe8, 24, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 36, -1, 8)             = 23
__printf_chk(1, 0x404fd6, 0x404f8c, 1024, 0)     = 24
__printf_chk(1, 0x404fe8, 24, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 37, -1, 8)             = 23
__printf_chk(1, 0x404fd6, 0x404f8c, 1024, 0)     = 24
__printf_chk(1, 0x404fe8, 24, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 38, -1, 8)             = 23
__printf_chk(1, 0x404fd6, 0x404f8c, 1024, 0)     = 24
__printf_chk(1, 0x404fe8, 24, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 39, -1, 8)             = 23
__printf_chk(1, 0x404fd6, 0x404f8c, 1024, 0)     = 24
__printf_chk(1, 0x404fe8, 24, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 40, -1, 8)             = 23
__printf_chk(1, 0x404fd6, 0x404f8c, 1024, 0)     = 24
__printf_chk(1, 0x404fe8, 24, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 41, -1, 8)             = 23
__printf_chk(1, 0x404fd6, 0x404f8c, 1024, 0)     = 24
__printf_chk(1, 0x404fe8, 24, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 42, -1, 8)             = 23
__printf_chk(1, 0x404fd6, 0x404f8c, 1024, 0)     = 24
__printf_chk(1, 0x404fe8, 24, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 43, -1, 8)             = 23
__printf_chk(1, 0x404fd6, 0x404f8c, 1024, 0)     = 24
__printf_chk(1, 0x404fe8, 24, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 44, -1, 8)             = 23
__printf_chk(1, 0x404fd6, 0x404f8c, 1024, 0)     = 24
__printf_chk(1, 0x404fe8, 24, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 45, -1, 8)             = 23
__printf_chk(1, 0x404fd6, 0x404f8c, 1024, 0)     = 24
__printf_chk(1, 0x404fe8, 24, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 46, -1, 8)             = 23
__printf_chk(1, 0x404fd6, 0x404f8c, 1024, 0)     = 24
__printf_chk(1, 0x404fe8, 24, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 47, -1, 8)             = 23
__printf_chk(1, 0x404fd6, 0x404f8c, 1024, 0)     = 24
__printf_chk(1, 0x404fe8, 24, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 48, -1, 8)             = 23
__printf_chk(1, 0x404fd6, 0x404f8c, 1024, 0)     = 24
__printf_chk(1, 0x404fe8, 24, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 49, -1, 8)             = 23
__printf_chk(1, 0x404fd6, 0x404f8c, 1024, 0)     = 24
__printf_chk(1, 0x404fe8, 24, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 50, -1, 8)             = 23
__printf_chk(1, 0x404fd6, 0x404f8c, 1024, 0)     = 24
__printf_chk(1, 0x404fe8, 24, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 51, -1, 8)             = 23
__printf_chk(1, 0x404fd6, 0x404f8c, 1024, 0)     = 24
__printf_chk(1, 0x404fe8, 24, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 52, -1, 8)             = 23
__printf_chk(1, 0x404fd6, 0x404f8c, 1024, 0)     = 24
__printf_chk(1, 0x404fe8, 24, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 53, -1, 8)             = 23
__printf_chk(1, 0x404fd6, 0x404f8c, 1024, 0)     = 24
__printf_chk(1, 0x404fe8, 24, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 54, -1, 8)             = 23
__printf_chk(1, 0x404fd6, 0x404f8c, 1024, 0)     = 24
__printf_chk(1, 0x404fe8, 24, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 55, -1, 8)             = 23
__printf_chk(1, 0x404fd6, 0x404f8c, 1024, 0)     = 24
__printf_chk(1, 0x404fe8, 24, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 56, -1, 8)             = 23
__printf_chk(1, 0x404fd6, 0x404f8c, 1024, 0)     = 24
__printf_chk(1, 0x404fe8, 24, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 57, -1, 8)             = 23
__printf_chk(1, 0x404fd6, 0x404f8c, 1024, 0)     = 24
__printf_chk(1, 0x404fe8, 24, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 58, -1, 8)             = 23
__printf_chk(1, 0x404fd6, 0x404f8c, 1024, 0)     = 24
__printf_chk(1, 0x404fe8, 24, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 59, -1, 8)             = 23
__printf_chk(1, 0x404fd6, 0x404f8c, 1024, 0)     = 24
__printf_chk(1, 0x404fe8, 24, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 60, -1, 8)             = 23
__printf_chk(1, 0x404fd6, 0x404f8c, 1024, 0)     = 24
__printf_chk(1, 0x404fe8, 24, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 61, -1, 8)             = 23
__printf_chk(1, 0x404fd6, 0x404f8c, 1024, 0)     = 24
__printf_chk(1, 0x404fe8, 24, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 62, -1, 8)             = 23
__printf_chk(1, 0x404fd6, 0x404f8c, 1024, 0)     = 24
__printf_chk(1, 0x404fe8, 24, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 63, -1, 8)             = 23
__printf_chk(1, 0x404fd6, 0x404f8c, 1024, 0)     = 24
__printf_chk(1, 0x404fe8, 24, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 64, -1, 8)             = 23
__printf_chk(1, 0x404fd6, 0x404f8c, 1024, 0)     = 24
__printf_chk(1, 0x404fe8, 24, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 65, -1, 8)             = 23
__printf_chk(1, 0x404fd6, 0x404f8c, 1024, 0)     = 24
__printf_chk(1, 0x404fe8, 24, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 66, -1, 8)             = 23
__printf_chk(1, 0x404fd6, 0x404f8c, 1024, 0)     = 24
__printf_chk(1, 0x404fe8, 24, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 67, -1, 8)             = 23
__printf_chk(1, 0x404fd6, 0x404f8c, 1024, 0)     = 24
__printf_chk(1, 0x404fe8, 24, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 68, -1, 8)             = 23
__printf_chk(1, 0x404fd6, 0x404f8c, 1024, 0)     = 24
__printf_chk(1, 0x404fe8, 24, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 69, -1, 8)             = 23
__printf_chk(1, 0x404fd6, 0x404f8c, 1024, 0)     = 24
__printf_chk(1, 0x404fe8, 24, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 70, -1, 8)             = 23
__printf_chk(1, 0x404fd6, 0x404f8c, 1024, 0)     = 24
__printf_chk(1, 0x404fe8, 24, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 71, -1, 8)             = 23
__printf_chk(1, 0x404fd6, 0x404f8c, 1024, 0)     = 24
__printf_chk(1, 0x404fe8, 24, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 72, -1, 8)             = 23
__printf_chk(1, 0x404fd6, 0x404f8c, 1024, 0)     = 24
__printf_chk(1, 0x404fe8, 24, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 73, -1, 8)             = 23
__printf_chk(1, 0x404fd6, 0x404f8c, 1024, 0)     = 24
__printf_chk(1, 0x404fe8, 24, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 74, -1, 8)             = 23
__printf_chk(1, 0x404fd6, 0x404f8c, 1024, 0)     = 24
__printf_chk(1, 0x404fe8, 24, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 75, -1, 8)             = 23
__printf_chk(1, 0x404fd6, 0x404f96, 1024, 0)     = 26
__printf_chk(1, 0x404fe8, 24, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 76, -1, 8)             = 23
__printf_chk(1, 0x404fd6, 0x404f96, 1024, 0)     = 26
__printf_chk(1, 0x404fe8, 24, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 77, -1, 8)             = 23
__printf_chk(1, 0x404fd6, 0x404f96, 1024, 0)     = 26
__printf_chk(1, 0x404fe8, 24, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 78, -1, 8)             = 23
__printf_chk(1, 0x404fd6, 0x404f96, 1024, 0)     = 26
__printf_chk(1, 0x404fe8, 24, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 79, -1, 8)             = 23
__printf_chk(1, 0x404fd6, 0x404f96, 1024, 0)     = 26
__printf_chk(1, 0x404fe8, 24, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 80, -1, 8)             = 23
__printf_chk(1, 0x404fd6, 0x404f96, 1024, 0)     = 26
__printf_chk(1, 0x404fe8, 24, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 81, -1, 8)             = 23
__printf_chk(1, 0x404fd6, 0x404f96, 1024, 0)     = 26
__printf_chk(1, 0x404fe8, 24, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 82, -1, 8)             = 23
__printf_chk(1, 0x404fd6, 0x404f96, 1024, 0)     = 26
__printf_chk(1, 0x404fe8, 24, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 83, -1, 8)             = 23
__printf_chk(1, 0x404fd6, 0x404f96, 1024, 0)     = 26
__printf_chk(1, 0x404fe8, 24, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 84, -1, 8)             = 23
__printf_chk(1, 0x404fd6, 0x404f96, 1024, 0)     = 26
__printf_chk(1, 0x404fe8, 24, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 85, -1, 8)             = 23
__printf_chk(1, 0x404fd6, 0x404f96, 1024, 0)     = 26
__printf_chk(1, 0x404fe8, 24, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 86, -1, 8)             = 23
__printf_chk(1, 0x404fd6, 0x404f96, 1024, 0)     = 26
__printf_chk(1, 0x404fe8, 24, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 87, -1, 8)             = 23
__printf_chk(1, 0x404fd6, 0x404f96, 1024, 0)     = 26
__printf_chk(1, 0x404fe8, 24, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 88, -1, 8)             = 23
__printf_chk(1, 0x404fd6, 0x404f96, 1024, 0)     = 26
__printf_chk(1, 0x404fe8, 24, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 89, -1, 8)             = 23
__printf_chk(1, 0x404fd6, 0x404f96, 1024, 0)     = 26
__printf_chk(1, 0x404fe8, 24, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 90, -1, 8)             = 23
__printf_chk(1, 0x404fd6, 0x404f96, 1024, 0)     = 26
__printf_chk(1, 0x404fe8, 24, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 91, -1, 8)             = 23
__printf_chk(1, 0x404fd6, 0x404f96, 1024, 0)     = 26
__printf_chk(1, 0x404fe8, 24, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 92, -1, 8)             = 23
__printf_chk(1, 0x404fd6, 0x404f96, 1024, 0)     = 26
__printf_chk(1, 0x404fe8, 24, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 93, -1, 8)             = 23
__printf_chk(1, 0x404fd6, 0x404f96, 1024, 0)     = 26
__printf_chk(1, 0x404fe8, 24, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 94, -1, 8)             = 23
__printf_chk(1, 0x404fd6, 0x404f96, 1024, 0)     = 26
__printf_chk(1, 0x404fe8, 24, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 95, -1, 8)             = 23
__printf_chk(1, 0x404fd6, 0x404f96, 1024, 0)     = 26
__printf_chk(1, 0x404fe8, 24, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 96, -1, 8)             = 23
__printf_chk(1, 0x404fd6, 0x404f96, 1024, 0)     = 26
__printf_chk(1, 0x404fe8, 24, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 97, -1, 8)             = 23
__printf_chk(1, 0x404fd6, 0x404f96, 1024, 0)     = 26
__printf_chk(1, 0x404fe8, 24, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 98, -1, 8)             = 23
__printf_chk(1, 0x404fd6, 0x404f96, 1024, 0)     = 26
__printf_chk(1, 0x404fe8, 24, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 99, -1, 8)             = 23
__printf_chk(1, 0x404fd6, 0x404f96, 1024, 0)     = 26
__printf_chk(1, 0x404fe8, 24, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 100, -1, 8)            = 23
__printf_chk(1, 0x404fd6, 0x404f96, 1024, 0)     = 26
__printf_chk(1, 0x404fe8, 24, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 101, -1, 8)            = 23
__printf_chk(1, 0x404fd6, 0x404f96, 1024, 0)     = 26
__printf_chk(1, 0x404fe8, 24, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 102, -1, 8)            = 23
__printf_chk(1, 0x404fd6, 0x404f96, 1024, 0)     = 26
__printf_chk(1, 0x404fe8, 24, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 103, -1, 8)            = 23
__printf_chk(1, 0x404fd6, 0x404f96, 1024, 0)     = 26
__printf_chk(1, 0x404fe8, 24, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 104, -1, 8)            = 23
__printf_chk(1, 0x404fd6, 0x404f96, 1024, 0)     = 26
__printf_chk(1, 0x404fe8, 24, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 105, -1, 8)            = 23
__printf_chk(1, 0x404fd6, 0x404f96, 1024, 0)     = 26
__printf_chk(1, 0x404fe8, 24, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 106, -1, 8)            = 23
__printf_chk(1, 0x404fd6, 0x404f96, 1024, 0)     = 26
__printf_chk(1, 0x404fe8, 24, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 107, -1, 8)            = 23
__printf_chk(1, 0x404fd6, 0x404f96, 1024, 0)     = 26
__printf_chk(1, 0x404fe8, 24, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 108, -1, 8)            = 23
__printf_chk(1, 0x404fd6, 0x404f96, 1024, 0)     = 26
__printf_chk(1, 0x404fe8, 24, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 109, -1, 8)            = 23
__printf_chk(1, 0x404fd6, 0x404f96, 1024, 0)     = 26
__printf_chk(1, 0x404fe8, 24, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 110, -1, 8)            = 23
__printf_chk(1, 0x404fd6, 0x404f96, 1024, 0)     = 26
__printf_chk(1, 0x404fe8, 24, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 111, -1, 8)            = 23
__printf_chk(1, 0x404fd6, 0x404f96, 1024, 0)     = 26
__printf_chk(1, 0x404fe8, 24, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 112, -1, 8)            = 23
__printf_chk(1, 0x404fd6, 0x404f96, 1024, 0)     = 26
__printf_chk(1, 0x404fe8, 24, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 113, -1, 8)            = 23
__printf_chk(1, 0x404fd6, 0x404f96, 1024, 0)     = 26
__printf_chk(1, 0x404fe8, 24, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 35, -1, 8)             = 23
__printf_chk(1, 0x404fd6, 0x404f8c, 1024, 0)     = 24
__printf_chk(1, 0x404fe8, 32, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 114, -1, 8)            = 23
__printf_chk(1, 0x404fd6, 0x404f8c, 1024, 0)     = 24
__printf_chk(1, 0x404fe8, 32, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 115, -1, 8)            = 23
__printf_chk(1, 0x404fd6, 0x404f8c, 1024, 0)     = 24
__printf_chk(1, 0x404fe8, 32, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 116, -1, 8)            = 23
__printf_chk(1, 0x404fd6, 0x404f8c, 1024, 0)     = 24
__printf_chk(1, 0x404fe8, 32, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 117, -1, 8)            = 23
__printf_chk(1, 0x404fd6, 0x404f8c, 1024, 0)     = 24
__printf_chk(1, 0x404fe8, 32, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 118, -1, 8)            = 23
__printf_chk(1, 0x404fd6, 0x404f8c, 1024, 0)     = 24
__printf_chk(1, 0x404fe8, 32, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 119, -1, 8)            = 23
__printf_chk(1, 0x404fd6, 0x404f8c, 1024, 0)     = 24
__printf_chk(1, 0x404fe8, 32, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 120, -1, 8)            = 23
__printf_chk(1, 0x404fd6, 0x404f8c, 1024, 0)     = 24
__printf_chk(1, 0x404fe8, 32, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 121, -1, 8)            = 23
__printf_chk(1, 0x404fd6, 0x404f8c, 1024, 0)     = 24
__printf_chk(1, 0x404fe8, 32, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 122, -1, 8)            = 23
__printf_chk(1, 0x404fd6, 0x404f8c, 1024, 0)     = 24
__printf_chk(1, 0x404fe8, 32, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 123, -1, 8)            = 23
__printf_chk(1, 0x404fd6, 0x404f8c, 1024, 0)     = 24
__printf_chk(1, 0x404fe8, 32, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 124, -1, 8)            = 23
__printf_chk(1, 0x404fd6, 0x404f8c, 1024, 0)     = 24
__printf_chk(1, 0x404fe8, 32, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 125, -1, 8)            = 23
__printf_chk(1, 0x404fd6, 0x404f8c, 1024, 0)     = 24
__printf_chk(1, 0x404fe8, 32, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 126, -1, 8)            = 23
__printf_chk(1, 0x404fd6, 0x404f8c, 1024, 0)     = 24
__printf_chk(1, 0x404fe8, 32, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 127, -1, 8)            = 23
__printf_chk(1, 0x404fd6, 0x404f8c, 1024, 0)     = 24
__printf_chk(1, 0x404fe8, 32, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 128, -1, 8)            = 23
__printf_chk(1, 0x404fd6, 0x404f8c, 1024, 0)     = 24
__printf_chk(1, 0x404fe8, 32, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 129, -1, 8)            = 23
__printf_chk(1, 0x404fd6, 0x404f8c, 1024, 0)     = 24
__printf_chk(1, 0x404fe8, 32, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 130, -1, 8)            = 23
__printf_chk(1, 0x404fd6, 0x404f8c, 1024, 0)     = 24
__printf_chk(1, 0x404fe8, 32, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 131, -1, 8)            = 23
__printf_chk(1, 0x404fd6, 0x404f8c, 1024, 0)     = 24
__printf_chk(1, 0x404fe8, 32, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 132, -1, 8)            = 23
__printf_chk(1, 0x404fd6, 0x404f8c, 1024, 0)     = 24
__printf_chk(1, 0x404fe8, 32, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 133, -1, 8)            = 23
__printf_chk(1, 0x404fd6, 0x404f8c, 1024, 0)     = 24
__printf_chk(1, 0x404fe8, 32, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 134, -1, 8)            = 23
__printf_chk(1, 0x404fd6, 0x404f8c, 1024, 0)     = 24
__printf_chk(1, 0x404fe8, 32, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 135, -1, 8)            = 23
__printf_chk(1, 0x404fd6, 0x404f8c, 1024, 0)     = 24
__printf_chk(1, 0x404fe8, 32, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 136, -1, 8)            = 23
__printf_chk(1, 0x404fd6, 0x404f8c, 1024, 0)     = 24
__printf_chk(1, 0x404fe8, 32, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 137, -1, 8)            = 23
__printf_chk(1, 0x404fd6, 0x404f8c, 1024, 0)     = 24
__printf_chk(1, 0x404fe8, 32, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 138, -1, 8)            = 23
__printf_chk(1, 0x404fd6, 0x404f8c, 1024, 0)     = 24
__printf_chk(1, 0x404fe8, 32, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 139, -1, 8)            = 23
__printf_chk(1, 0x404fd6, 0x404f8c, 1024, 0)     = 24
__printf_chk(1, 0x404fe8, 32, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 140, -1, 8)            = 23
__printf_chk(1, 0x404fd6, 0x404f8c, 1024, 0)     = 24
__printf_chk(1, 0x404fe8, 32, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 141, -1, 8)            = 23
__printf_chk(1, 0x404fd6, 0x404f8c, 1024, 0)     = 24
__printf_chk(1, 0x404fe8, 32, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 142, -1, 8)            = 23
__printf_chk(1, 0x404fd6, 0x404f8c, 1024, 0)     = 24
__printf_chk(1, 0x404fe8, 32, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 143, -1, 8)            = 23
__printf_chk(1, 0x404fd6, 0x404f8c, 1024, 0)     = 24
__printf_chk(1, 0x404fe8, 32, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 144, -1, 8)            = 23
__printf_chk(1, 0x404fd6, 0x404f8c, 1024, 0)     = 24
__printf_chk(1, 0x404fe8, 32, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 145, -1, 8)            = 23
__printf_chk(1, 0x404fd6, 0x404f8c, 1024, 0)     = 24
__printf_chk(1, 0x404fe8, 32, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 146, -1, 8)            = 23
__printf_chk(1, 0x404fd6, 0x404f8c, 1024, 0)     = 24
__printf_chk(1, 0x404fe8, 32, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 147, -1, 8)            = 23
__printf_chk(1, 0x404fd6, 0x404f8c, 1024, 0)     = 24
__printf_chk(1, 0x404fe8, 32, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 148, -1, 8)            = 23
__printf_chk(1, 0x404fd6, 0x404f8c, 1024, 0)     = 24
__printf_chk(1, 0x404fe8, 32, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 149, -1, 8)            = 23
__printf_chk(1, 0x404fd6, 0x404f8c, 1024, 0)     = 24
__printf_chk(1, 0x404fe8, 32, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 150, -1, 8)            = 23
__printf_chk(1, 0x404fd6, 0x404f8c, 1024, 0)     = 24
__printf_chk(1, 0x404fe8, 32, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 151, -1, 8)            = 23
__printf_chk(1, 0x404fd6, 0x404f8c, 1024, 0)     = 24
__printf_chk(1, 0x404fe8, 32, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
puts("  visual:")                                = 10
__printf_chk(1, 0x404fbd, 152, -1, 8)            = 23
__printf_chk(1, 0x404fd6, 0x404f8c, 1024, 0)     = 24
__printf_chk(1, 0x404fe8, 32, 0x404ad3, 0)       = 24
__printf_chk(1, 0x405ab0, 256, 1024, 0)          = 52
__printf_chk(1, 0x405b10, 0xff0000, 65280, 255)  = 54
__printf_chk(1, 0x405b48, 8, 1024, 0)            = 55
XFree(0x2323e10, 55, 0x7fa2e84ce9c0, 1024, 5)    = 1
XCloseDisplay(0x02317010)                        = <void>
exit(0 <unfinished ...>
+++ exited (status 0) +++