# Pastebin jbzZSzFq
DmgrEnumDevicesEx(0x7fffac7a731c, 0xffffffff, 0xffffffff, 0)                                                                       = 1
printf("Found %d device(s)\n", 2Found 2 device(s)
)                                                                                                  = 18
putchar(10, 0, 0x7fd24f02d760, 0x7ffffff8
)                                                                                         = 10
DmgrGetDvc(0, 0x7fffac7a71d0, 10, 0x7fd24ed6d70d)                                                                                  = 1
printf("Device: %s\n", "Arty"Device: Arty
)                                                                                                     = 13
DmgrGetInfo(0x7fffac7a71d0, 3, 0x7fffac7a6dd0, 0x7ffffff3)                                                                         = 1
printf("    Product Name:   %s\n", "Digilent Arty"    Product Name:   Digilent Arty
)                                                                                = 34
DmgrGetInfo(0x7fffac7a71d0, 2, 0x7fffac7a6dd0, 0x7fffffde)                                                                         = 1
printf("    User Name:      %s\n", "Arty"    User Name:      Arty
)                                                                                         = 25
DmgrGetInfo(0x7fffac7a71d0, 5, 0x7fffac7a6dd0, 0x7fffffe7)                                                                         = 1
strstr("SN:210319A28DC8", "SN:")                                                                                                   = "SN:210319A28DC8"
printf("    Serial Number:  %s\n", "210319A28DC8"    Serial Number:  210319A28DC8
)                                                                                 = 33
putchar(10, 0, 1, 0x7fffffdf
)                                                                                                      = 10
DmgrGetDvc(1, 0x7fffac7a71d0, 10, 0x7fd24ed6d70d)                                                                                  = 1
printf("Device: %s\n", "Basys3"Device: Basys3
)                                                                                                   = 15
DmgrGetInfo(0x7fffac7a71d0, 3, 0x7fffac7a6dd0, 0x7ffffff1)                                                                         = 1
printf("    Product Name:   %s\n", "Digilent Basys3"    Product Name:   Digilent Basys3
)                                                                              = 36
DmgrGetInfo(0x7fffac7a71d0, 2, 0x7fffac7a6dd0, 0x7fffffdc)                                                                         = 1
printf("    User Name:      %s\n", "Basys3"    User Name:      Basys3
)                                                                                       = 27
DmgrGetInfo(0x7fffac7a71d0, 5, 0x7fffac7a6dd0, 0x7fffffe5)                                                                         = 1
strstr("SN:210183A37B85", "SN:")                                                                                                   = "SN:210183A37B85"
printf("    Serial Number:  %s\n", "210183A37B85"    Serial Number:  210183A37B85
)