fscanf(0xff1070, 0x40356b, 0x7fff67d980e0, 0x7fff67d979c0, 0x403566)                   = 0
fscanf(0xff1070, 0x403523, 0x7fff67d980d8, 0x7fff67d979c0, 0)                          = 1
fscanf(0xff1070, 0x403564, 0xff3438, 0xb200000000000, 0)                               = 0
fscanf(0xff1070, 0x40356b, 0x7fff67d980e0, 0x7fff67d979c0, 0x403566)                   = 0
fscanf(0xff1070, 0x403523, 0x7fff67d980d8, 0x7fff67d979c0, 0)                          = 0xffffffff
fscanf(0xff1070, 0x403527, 0x7fff67d98090, 0, 0x403525)                                = 0xffffffff
fprintf(0x7f09ad64c860, "%s: error: ", "hv"hv: error: )                                           = 11
vfprintf(0x7f09ad64c860, "could not convert string `%s' to"..., 0x7fff67d97f60could not convert string `��d� ' to double, exiting...)        = 55
fputc('\n', 0x7f09ad64c860
)                                                            = 10
exit(1 <unfinished ...>
+++ exited (status 1) +++