{"name": "ehci_state_fetchqh", "code": "__int64 __fastcall ehci_state_fetchqh ( _DWORD * @@a1@@ , int @@a2@@ ) { __int64 v2 ; __int64 v3 ; __int64 v4 ; int @@v6@@ ; __int64 @@v7@@ ; __int64 @@v8@@ [ Number ] ; @@v8@@ [ Number ] = __readfsqword ( Number ) ; @@v6@@ = ehci_get_fetch_addr ( ( __int64 ) @@a1@@ , @@a2@@ ) ; @@v7@@ = ehci_find_queue_by_qh ( ( __int64 ) @@a1@@ , @@v6@@ , @@a2@@ ) ; if ( ! @@v7@@ ) @@v7@@ = ehci_alloc_queue ( ( __int64 ) @@a1@@ , @@v6@@ , @@a2@@ ) ; if ( ++ * ( _DWORD * ) ( @@v7@@ + Number ) <= Number ) { if ( ( int ) get_dwords ( ( __int64 ) @@a1@@ , * ( _DWORD * ) ( @@v7@@ + Number ) & Number , ( unsigned int * ) @@v8@@ , Number ) >= Number ) { ehci_trace_qh ( @@v7@@ , * ( _DWORD * ) ( @@v7@@ + Number ) & Number , ( unsigned int * ) @@v8@@ ) ; if ( ! ehci_verify_qh ( @@v7@@ , @@v8@@ ) && ( int ) ehci_reset_queue ( @@v7@@ ) > Number ) ehci_trace_guest_bug ( ( __int64 ) @@a1@@ , String ) ; v2 = @@v8@@ [ Number ] ; * ( _QWORD * ) ( @@v7@@ + Number ) = @@v8@@ [ Number ] ; * ( _QWORD * ) ( @@v7@@ + Number ) = v2 ; v3 = @@v8@@ [ Number ] ; * ( _QWORD * ) ( @@v7@@ + Number ) = @@v8@@ [ Number ] ; * ( _QWORD * ) ( @@v7@@ + Number ) = v3 ; v4 = @@v8@@ [ Number ] ; * ( _QWORD * ) ( @@v7@@ + Number ) = @@v8@@ [ Number ] ; * ( _QWORD * ) ( @@v7@@ + Number ) = v4 ; * ( _DWORD * ) ( @@v7@@ + Number ) = * ( _DWORD * ) ( @@v7@@ + Number ) >> Number ; if ( ! * ( _DWORD * ) ( @@v7@@ + Number ) ) * ( _DWORD * ) ( @@v7@@ + Number ) = Number ; if ( ! * ( _QWORD * ) ( @@v7@@ + Number ) ) * ( _QWORD * ) ( @@v7@@ + Number ) = ehci_find_device ( * ( _QWORD * ) @@v7@@ , * ( _BYTE * ) ( @@v7@@ + Number ) & Number ) ; if ( @@a2@@ && ( * ( _DWORD * ) ( @@v7@@ + Number ) & Number ) != Number ) { if ( ( @@a1@@ [ Number ] & Number ) == Number ) { ehci_set_state ( @@a1@@ , @@a2@@ , Number ) ; return Number L ; } ehci_clear_usbsts ( ( __int64 ) @@a1@@ , Number ) ; } if ( ( * ( _DWORD * ) ( @@v7@@ + Number ) & Number ) != Number ) { ehci_set_state ( @@a1@@ , @@a2@@ , Number ) ; } else if ( ( * ( _DWORD * ) ( @@v7@@ + Number ) & Number ) == Number || ( * ( _DWORD * ) ( @@v7@@ + Number ) & Number ) != Number ) { ehci_set_state ( @@a1@@ , @@a2@@ , Number ) ; } else { * ( _DWORD * ) ( @@v7@@ + Number ) = * ( _DWORD * ) ( @@v7@@ + Number ) ; ehci_set_state ( @@a1@@ , @@a2@@ , Number ) ; } } else { @@v7@@ = Number L ; } } else { ehci_set_state ( @@a1@@ , @@a2@@ , Number ) ; @@v7@@ = Number L ; } return @@v7@@ ; }", "source": [{"n": "a1", "t": {"T": 3, "t": "_DWORD"}, "location": "r56"}, {"n": "a2", "t": {"T": 1, "n": "int", "s": 4}, "location": "r64"}, {"n": "v8", "t": {"T": 2, "n": 10, "s": 8, "t": "__int64"}, "location": "s80"}, {"n": "v7", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "s88"}, {"n": "v6", "t": {"T": 1, "n": "int", "s": 4}, "location": "s92"}]}
{"name": "ehci_clear_usbsts", "code": "unsigned __int64 __fastcall ehci_clear_usbsts ( __int64 @@a1@@ , int @@a2@@ ) { unsigned __int64 @@v3@@ ; @@v3@@ = __readfsqword ( Number ) ; if ( ( * ( _DWORD * ) ( @@a1@@ + Number ) & @@a2@@ ) != Number ) { ehci_trace_usbsts ( @@a2@@ , Number ) ; * ( _DWORD * ) ( @@a1@@ + Number ) &= ~ @@a2@@ ; } return __readfsqword ( Number ) ^ @@v3@@ ; }", "source": [{"n": "a1", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r56"}, {"n": "a2", "t": {"T": 1, "n": "int", "s": 4}, "location": "r64"}, {"n": "v3", "t": {"T": 1, "n": "unsigned __int64", "s": 8}, "location": "s8"}]} {"name": "ehci_set_state", "code": "unsigned __int64 __fastcall ehci_set_state ( _DWORD * @@a1@@ , int @@a2@@ , unsigned int @@a3@@ ) { const char * v3 ; const char * v4 ; unsigned __int64 @@v7@@ ; @@v7@@ = __readfsqword ( Number ) ; if ( @@a2@@ ) { v3 = state2str ( @@a3@@ ) ; trace_usb_ehci_state ( String , v3 ) ; @@a1@@ [ Number ] = @@a3@@ ; if ( @@a1@@ [ Number ] == Number ) { ehci_clear_usbsts ( ( __int64 ) @@a1@@ , Number ) ; ehci_update_halt ( @@a1@@ ) ; } else { ehci_set_usbsts ( ( __int64 ) @@a1@@ , Number ) ; } } else { v4 = state2str ( @@a3@@ ) ; trace_usb_ehci_state ( String , v4 ) ; @@a1@@ [ Number ] = @@a3@@ ; if ( @@a1@@ [ Number ] == Number ) { ehci_clear_usbsts ( ( __int64 ) @@a1@@ , Number ) ; ehci_update_halt ( @@a1@@ ) ; } else { ehci_set_usbsts ( ( __int64 ) @@a1@@ , Number ) ; } } return __readfsqword ( Number ) ^ @@v7@@ ; }", "source": [{"n": "a3", "t": {"T": 1, "n": "unsigned int", "s": 4}, "location": "r16"}, {"n": "a1", "t": {"T": 3, "t": "_DWORD"}, "location": "r56"}, {"n": "a2", "t": {"T": 1, "n": "int", "s": 4}, "location": "r64"}, {"n": "v7", "t": {"T": 1, "n": "unsigned __int64", "s": 8}, "location": "s8"}]} {"name": "ehci_get_fetch_addr", "code": "__int64 __fastcall ehci_get_fetch_addr ( __int64 @@a1@@ , int @@a2@@ ) { __int64 @@result@@ ; if ( @@a2@@ ) @@result@@ = * ( unsigned int * ) ( @@a1@@ + Number ) ; else @@result@@ = * ( unsigned int * ) ( @@a1@@ + Number ) ; return @@result@@ ; }", "source": [{"n": "a1", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r56"}, {"n": "a2", "t": {"T": 1, "n": "int", "s": 4}, "location": "r64"}, {"n": "result", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r8"}]} {"name": "ehci_trace_qh", "code": "unsigned __int64 __fastcall ehci_trace_qh ( __int64 @@a1@@ , unsigned int @@a2@@ , unsigned int * @@a3@@ ) { unsigned __int64 @@v5@@ ; @@v5@@ = __readfsqword ( Number ) ; trace_usb_ehci_qh_ptrs ( @@a1@@ , @@a2@@ , * @@a3@@ , @@a3@@ [ Number ] , @@a3@@ [ Number ] , @@a3@@ [ Number ] ) ; trace_usb_ehci_qh_fields ( @@a2@@ , @@a3@@ [ Number ] >> Number , HIWORD ( @@a3@@ [ Number ] ) & Number , ( @@a3@@ [ Number ] >> Number ) & Number , ( @@a3@@ [ Number ] >> Number ) & Number , @@a3@@ [ Number ] & Number ) ; trace_usb_ehci_qh_bits ( @@a2@@ , ( @@a3@@ [ Number ] & Number ) != Number , ( @@a3@@ [ Number ] & Number ) != Number , ( @@a3@@ [ Number ] & Number ) != Number , ( @@a3@@ [ Number ] & Number ) != Number ) ; return __readfsqword ( Number ) ^ @@v5@@ ; }", "source": [{"n": "a3", "t": {"T": 3, "t": "unsigned int"}, "location": "r16"}, {"n": "a1", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r56"}, {"n": "a2", "t": {"T": 1, "n": "unsigned int", "s": 4}, "location": "r64"}, {"n": "v5", "t": {"T": 1, "n": "unsigned __int64", "s": 8}, "location": "s8"}]} {"name": "ehci_trace_guest_bug", "code": "unsigned __int64 __fastcall ehci_trace_guest_bug ( __int64 @@a1@@ , const char * @@a2@@ ) { unsigned __int64 @@v3@@ ; @@v3@@ = __readfsqword ( Number ) ; trace_usb_ehci_guest_bug ( @@a2@@ ) ; fprintf ( stderr , String , @@a2@@ ) ; return __readfsqword ( Number ) ^ @@v3@@ ; }", "source": [{"n": "a1", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r56"}, {"n": "a2", "t": {"T": 3, "t": "const char"}, "location": "r64"}, {"n": "v3", "t": {"T": 1, "n": "unsigned __int64", "s": 8}, "location": "s8"}]} {"name": "get_dwords", "code": "__int64 __fastcall get_dwords ( __int64 @@a1@@ , unsigned int @@a2@@ , unsigned int * @@a3@@ , unsigned int @@a4@@ ) { __int64 @@result@@ ; int @@i@@ ; if ( * ( _QWORD * ) ( @@a1@@ + Number ) ) { for ( @@i@@ = Number ; @@i@@ < ( int ) @@a4@@ ; ++ @@i@@ ) { dma_memory_read ( * ( _QWORD * ) ( @@a1@@ + Number ) , @@a2@@ , ( __int64 ) @@a3@@ , Number ) ; * @@a3@@ = le32_to_cpu ( * @@a3@@ ) ; ++ @@a3@@ ; @@a2@@ += Number ; } @@result@@ = @@a4@@ ; } else { ehci_raise_irq ( @@a1@@ , Number ) ; * ( _DWORD * ) ( @@a1@@ + Number ) &= Number ; trace_usb_ehci_dma_error ( ) ; @@result@@ = Number ; } return @@result@@ ; }", "source": [{"n": "a3", "t": {"T": 3, "t": "unsigned int"}, "location": "r16"}, {"n": "a4", "t": {"T": 1, "n": "unsigned int", "s": 4}, "location": "r24"}, {"n": "a1", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r56"}, {"n": "a2", "t": {"T": 1, "n": "unsigned int", "s": 4}, "location": "r64"}, {"n": "result", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r8"}, {"n": "i", "t": {"T": 1, "n": "int", "s": 4}, "location": "s12"}]} {"name": "ehci_verify_qh", "code": "_BOOL8 __fastcall ehci_verify_qh ( __int64 @@a1@@ , _DWORD * @@a2@@ ) { int @@v3@@ ; @@v3@@ = @@a2@@ [ Number ] & Number ; return @@v3@@ == ( * ( _DWORD * ) ( @@a1@@ + Number ) & Number ) && ( ( @@a2@@ [ Number ] >> Number ) & Number ) == ( ( * ( _DWORD * ) ( @@a1@@ + Number ) >> Number ) & Number ) && @@a2@@ [ Number ] == * ( _DWORD * ) ( @@a1@@ + Number ) && ( ! * ( _DWORD * ) ( @@a1@@ + Number ) || @@a2@@ [ Number ] == * ( _DWORD * ) ( @@a1@@ + Number ) ) && ! memcmp ( @@a2@@ + Number , ( const void * ) ( @@a1@@ + Number ) , Number ) && ( ! * ( _QWORD * ) ( @@a1@@ + Number ) || @@v3@@ == * ( unsigned __int8 * ) ( * ( _QWORD * ) ( @@a1@@ + Number ) + Number L ) ) ; }", "source": [{"n": "a1", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r56"}, {"n": "a2", "t": {"T": 3, "t": "_DWORD"}, "location": "r64"}, {"n": "v3", "t": {"T": 1, "n": "int", "s": 4}, "location": "s16"}]} {"name": "ehci_alloc_queue", "code": "__int64 __fastcall ehci_alloc_queue ( __int64 @@a1@@ , int @@a2@@ , int @@a3@@ ) { __int64 * @@v3@@ ; __int64 * @@v6@@ ; __int64 @@v7@@ ; if ( @@a3@@ ) @@v3@@ = ( __int64 * ) ( @@a1@@ + Number ) ; else @@v3@@ = ( __int64 * ) ( @@a1@@ + Number ) ; @@v6@@ = @@v3@@ ; @@v7@@ = g_malloc0 ( Number L ) ; * ( _QWORD * ) @@v7@@ = @@a1@@ ; * ( _DWORD * ) ( @@v7@@ + Number ) = @@a2@@ ; * ( _DWORD * ) ( @@v7@@ + Number ) = @@a3@@ ; * ( _QWORD * ) ( @@v7@@ + Number ) = Number L ; * ( _QWORD * ) ( @@v7@@ + Number ) = @@v7@@ + Number ; * ( _QWORD * ) ( @@v7@@ + Number ) = * @@v6@@ ; if ( * ( _QWORD * ) ( @@v7@@ + Number ) ) * ( _QWORD * ) ( * @@v6@@ + Number ) = @@v7@@ + Number ; else @@v6@@ [ Number ] = @@v7@@ + Number ; * @@v6@@ = @@v7@@ ; * ( _QWORD * ) ( @@v7@@ + Number ) = @@v6@@ ; trace_usb_ehci_queue_action ( @@v7@@ , String ) ; return @@v7@@ ; }", "source": [{"n": "a3", "t": {"T": 1, "n": "int", "s": 4}, "location": "r16"}, {"n": "a1", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r56"}, {"n": "a2", "t": {"T": 1, "n": "int", "s": 4}, "location": "r64"}, {"n": "v3", "t": {"T": 3, "t": "__int64"}, "location": "r8"}, {"n": "v7", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "s16"}, {"n": "v6", "t": {"T": 3, "t": "__int64"}, "location": "s24"}]} {"name": "ehci_reset_queue", "code": "__int64 __fastcall ehci_reset_queue ( __int64 @@a1@@ ) { __int64 @@result@@ ; trace_usb_ehci_queue_action ( @@a1@@ , String ) ; LODWORD ( @@result@@ ) = ehci_cancel_queue ( @@a1@@ ) ; * ( _QWORD * ) ( @@a1@@ + Number ) = Number L ; * ( _DWORD * ) ( @@a1@@ + Number ) = Number ; * ( _DWORD * ) ( @@a1@@ + Number ) = Number ; return ( unsigned int ) @@result@@ ; }", "source": [{"n": "a1", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r56"}, {"n": "result", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r8"}]} {"name": "ehci_find_queue_by_qh", "code": "__int64 __fastcall ehci_find_queue_by_qh ( __int64 @@a1@@ , int @@a2@@ , int @@a3@@ ) { __int64 * @@v3@@ ; __int64 @@i@@ ; if ( @@a3@@ ) @@v3@@ = ( __int64 * ) ( @@a1@@ + Number ) ; else @@v3@@ = ( __int64 * ) ( @@a1@@ + Number ) ; for ( @@i@@ = * @@v3@@ ; @@i@@ ; @@i@@ = * ( _QWORD * ) ( @@i@@ + Number ) ) { if ( @@a2@@ == * ( _DWORD * ) ( @@i@@ + Number ) ) return @@i@@ ; } return Number L ; }", "source": [{"n": "a3", "t": {"T": 1, "n": "int", "s": 4}, "location": "r16"}, {"n": "a1", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r56"}, {"n": "a2", "t": {"T": 1, "n": "int", "s": 4}, "location": "r64"}, {"n": "v3", "t": {"T": 3, "t": "__int64"}, "location": "r8"}, {"n": "i", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "s24"}]} {"name": "ehci_find_device", "code": "__int64 __fastcall ehci_find_device ( __int64 @@a1@@ , unsigned __int8 @@a2@@ ) { int @@i@@ ; __int64 @@v4@@ ; for ( @@i@@ = Number ; @@i@@ <= Number ; ++ @@i@@ ) { if ( ( * ( _DWORD * ) ( @@a1@@ + Number * ( @@i@@ + Number L ) + Number ) & Number ) != Number ) { @@v4@@ = usb_find_device ( Number L * @@i@@ + Number + @@a1@@ , @@a2@@ ) ; if ( @@v4@@ ) return @@v4@@ ; } } return Number L ; }", "source": [{"n": "a1", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r56"}, {"n": "a2", "t": {"T": 1, "n": "unsigned __int8", "s": 1}, "location": "r64"}, {"n": "v4", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "s16"}, {"n": "i", "t": {"T": 1, "n": "int", "s": 4}, "location": "s28"}]} {"name": "ehci_reset", "code": "unsigned __int64 __fastcall ehci_reset ( __int64 @@a1@@ ) { int i ; int j ; __int64 @@v4@@ [ Number ] ; unsigned __int64 @@v5@@ ; @@v5@@ = __readfsqword ( Number ) ; trace_usb_ehci_reset ( ) ; for ( i = Number ; i <= Number ; ++ i ) { @@v4@@ [ i ] = * ( _QWORD * ) ( @@a1@@ + Number L * i + Number ) ; if ( @@v4@@ [ i ] && * ( _DWORD * ) ( @@v4@@ [ i ] + Number ) ) usb_detach ( Number L * i + Number + @@a1@@ ) ; } memset ( ( void * ) ( @@a1@@ + Number ) , Number , Number ) ; memset ( ( void * ) ( @@a1@@ + Number ) , Number , Number ) ; * ( _DWORD * ) ( @@a1@@ + Number ) = Number ; * ( _DWORD * ) ( @@a1@@ + Number ) = Number ; * ( _DWORD * ) ( @@a1@@ + Number ) = Number ; * ( _DWORD * ) ( @@a1@@ + Number ) = Number ; * ( _DWORD * ) ( @@a1@@ + Number ) = Number ; * ( _DWORD * ) ( @@a1@@ + Number ) = Number ; for ( j = Number ; j <= Number ; ++ j ) { if ( * ( _QWORD * ) ( @@a1@@ + Number * ( j + Number L ) ) ) * ( _DWORD * ) ( @@a1@@ + Number * ( j + Number L ) + Number ) = Number ; else * ( _DWORD * ) ( @@a1@@ + Number * ( j + Number L ) + Number ) = Number ; if ( @@v4@@ [ j ] && * ( _DWORD * ) ( @@v4@@ [ j ] + Number ) ) { usb_attach ( Number L * j + Number + @@a1@@ ) ; usb_device_reset ( @@v4@@ [ j ] ) ; } } ehci_queues_rip_all ( @@a1@@ , Number ) ; ehci_queues_rip_all ( @@a1@@ , Number ) ; timer_del ( * ( _QWORD * ) ( @@a1@@ + Number ) ) ; qemu_bh_cancel ( * ( _QWORD * ) ( @@a1@@ + Number ) ) ; return __readfsqword ( Number ) ^ @@v5@@ ; }", "source": [{"n": "a1", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r56"}, {"n": "v4", "t": {"T": 2, "n": 7, "s": 8, "t": "__int64"}, "location": "s64"}, {"n": "v5", "t": {"T": 1, "n": "unsigned __int64", "s": 8}, "location": "s8"}]} {"name": "ehci_advance_state", "code": "unsigned __int64 __fastcall ehci_advance_state ( _DWORD * @@a1@@ , int @@a2@@ ) { int @@v3@@ ; __int64 @@v4@@ ; unsigned __int64 @@v5@@ ; @@v5@@ = __readfsqword ( Number ) ; @@v4@@ = Number L ; do { switch ( ( unsigned int ) ehci_get_state ( ( __int64 ) @@a1@@ , @@a2@@ ) ) { case Number : if ( ! @@v4@@ ) _assert_fail ( String , String , Number , String ) ; if ( @@a2@@ ) @@a1@@ [ Number ] = Number ; @@v3@@ = ehci_state_executing ( ( _DWORD * * ) @@v4@@ ) ; break ; case Number : @@v3@@ = ehci_state_waitlisthead ( @@a1@@ , @@a2@@ ) ; break ; case Number : @@v3@@ = ehci_state_fetchentry ( @@a1@@ , @@a2@@ ) ; break ; case Number : @@v4@@ = ehci_state_fetchqh ( @@a1@@ , @@a2@@ ) ; if ( @@v4@@ ) { if ( @@a2@@ != * ( _DWORD * ) ( @@v4@@ + Number ) ) _assert_fail ( String , String , Number , String ) ; @@v3@@ = Number ; } else { @@v3@@ = Number ; } break ; case Number : @@v3@@ = ehci_state_fetchitd ( @@a1@@ , @@a2@@ ) ; break ; case Number : @@v3@@ = ehci_state_fetchsitd ( @@a1@@ , @@a2@@ ) ; break ; case Number : if ( ! @@v4@@ ) _assert_fail ( String , String , Number , String ) ; @@v3@@ = ehci_state_advqueue ( @@v4@@ ) ; break ; case Number : if ( ! @@v4@@ ) _assert_fail ( String , String , Number , String ) ; @@v3@@ = ehci_state_fetchqtd ( ( _DWORD * * ) @@v4@@ ) ; break ; case Number : if ( ! @@v4@@ ) _assert_fail ( String , String , Number , String ) ; @@v3@@ = ehci_state_execute ( ( _DWORD * * ) @@v4@@ ) ; if ( @@a2@@ ) @@a1@@ [ Number ] = Number ; break ; case Number : if ( ! @@v4@@ ) _assert_fail ( String , String , Number , String ) ; @@v3@@ = ehci_state_writeback ( ( _DWORD * * ) @@v4@@ ) ; if ( ! @@a2@@ ) @@a1@@ [ Number ] = Number ; break ; case Number : if ( ! @@v4@@ ) _assert_fail ( String , String , Number , String ) ; @@v3@@ = ehci_state_horizqh ( ( _DWORD * * ) @@v4@@ ) ; break ; default : fwrite ( String , Number , Number , stderr ) ; @@v3@@ = Number ; g_assertion_message_expr ( Number L , String , Number L , String , Number L ) ; break ; } if ( @@v3@@ < Number ) { fwrite ( String , Number , Number , stderr ) ; ehci_reset ( ( __int64 ) @@a1@@ ) ; @@v3@@ = Number ; } } while ( @@v3@@ ) ; return __readfsqword ( Number ) ^ @@v5@@ ; }", "source": [{"n": "a1", "t": {"T": 3, "t": "_DWORD"}, "location": "r56"}, {"n": "a2", "t": {"T": 1, "n": "int", "s": 4}, "location": "r64"}, {"n": "v4", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "s16"}, {"n": "v3", "t": {"T": 1, "n": "int", "s": 4}, "location": "s20"}, {"n": "v5", "t": {"T": 1, "n": "unsigned __int64", "s": 8}, "location": "s8"}]}