{"name": "ehci_raise_irq", "code": "unsigned __int64 __fastcall ehci_raise_irq ( __int64 @@a1@@ , int @@a2@@ ) { unsigned __int64 @@v3@@ ; @@v3@@ = __readfsqword ( Number ) ; if ( ( @@a2@@ & Number ) != Number ) { * ( _DWORD * ) ( @@a1@@ + Number ) |= @@a2@@ ; ehci_update_irq ( @@a1@@ ) ; } else { * ( _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_update_irq", "code": "unsigned __int64 __fastcall ehci_update_irq ( __int64 @@a1@@ ) { _BOOL4 @@v2@@ ; unsigned __int64 @@v3@@ ; @@v3@@ = __readfsqword ( Number ) ; @@v2@@ = ( ( unsigned __int8 ) * ( _DWORD * ) ( @@a1@@ + Number ) & ( unsigned __int8 ) * ( _DWORD * ) ( @@a1@@ + Number ) & Number ) != Number ; trace_usb_ehci_irq ( ( ( unsigned __int8 ) * ( _DWORD * ) ( @@a1@@ + Number ) & ( unsigned __int8 ) * ( _DWORD * ) ( @@a1@@ + Number ) & Number ) != Number , * ( unsigned int * ) ( @@a1@@ + Number ) , * ( unsigned int * ) ( @@a1@@ + Number ) , * ( unsigned int * ) ( @@a1@@ + Number ) ) ; qemu_set_irq ( * ( _QWORD * ) ( @@a1@@ + Number ) , @@v2@@ ) ; return __readfsqword ( Number ) ^ @@v3@@ ; }", "source": [{"n": "a1", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r56"}, {"n": "v2", "t": {"T": 1, "n": "_BOOL4", "s": 4}, "location": "s12"}, {"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": "put_dwords", "code": "__int64 __fastcall put_dwords ( __int64 @@a1@@ , unsigned int @@a2@@ , unsigned int * @@a3@@ , int @@a4@@ ) { __int64 @@result@@ ; int @@v8@@ ; int @@v9@@ ; unsigned __int64 @@v10@@ ; @@v10@@ = __readfsqword ( Number ) ; if ( * ( _QWORD * ) ( @@a1@@ + Number ) ) { @@v9@@ = Number ; while ( @@v9@@ < @@a4@@ ) { @@v8@@ = cpu_to_le32 ( * @@a3@@ ) ; dma_memory_write ( * ( _QWORD * ) ( @@a1@@ + Number ) , @@a2@@ , ( __int64 ) & @@v8@@ , Number ) ; ++ @@v9@@ ; ++ @@a3@@ ; @@a2@@ += Number ; } @@result@@ = ( unsigned int ) @@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": "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": "v9", "t": {"T": 1, "n": "int", "s": 4}, "location": "s12"}, {"n": "v8", "t": {"T": 1, "n": "int", "s": 4}, "location": "s16"}, {"n": "v10", "t": {"T": 1, "n": "unsigned __int64", "s": 8}, "location": "s8"}]} {"name": "ehci_attach", "code": "unsigned __int64 __fastcall ehci_attach ( __int64 @@a1@@ ) { const char * @@v1@@ ; __int64 @@v3@@ ; _DWORD * @@v4@@ ; __int64 @@v5@@ ; unsigned __int64 @@v6@@ ; @@v6@@ = __readfsqword ( Number ) ; @@v3@@ = * ( _QWORD * ) ( @@a1@@ + Number ) ; @@v4@@ = ( _DWORD * ) ( Number * ( * ( int * ) ( @@a1@@ + Number ) + Number L ) + @@v3@@ + Number ) ; if ( ( * @@v4@@ & Number ) != Number ) @@v1@@ = String ; else @@v1@@ = String ; trace_usb_ehci_port_attach ( * ( unsigned int * ) ( @@a1@@ + Number ) , @@v1@@ , * ( _QWORD * ) @@a1@@ + Number L ) ; if ( ( * @@v4@@ & Number ) != Number ) { @@v5@@ = * ( _QWORD * ) ( @@v3@@ + Number * ( * ( int * ) ( @@a1@@ + Number ) + Number L ) ) ; * ( _QWORD * ) @@v5@@ = * ( _QWORD * ) @@a1@@ ; ( * * ( void ( __fastcall * * * ) ( __int64 ) ) ( @@v5@@ + Number ) ) ( @@v5@@ ) ; } else { * @@v4@@ |= Number ; * @@v4@@ |= Number ; ehci_raise_irq ( @@v3@@ , Number ) ; } return __readfsqword ( Number ) ^ @@v6@@ ; }", "source": [{"n": "a1", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r56"}, {"n": "v1", "t": {"T": 3, "t": "const char"}, "location": "r8"}, {"n": "v5", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "s16"}, {"n": "v4", "t": {"T": 3, "t": "_DWORD"}, "location": "s32"}, {"n": "v3", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "s40"}, {"n": "v6", "t": {"T": 1, "n": "unsigned __int64", "s": 8}, "location": "s8"}]} {"name": "ehci_detach", "code": "unsigned __int64 __fastcall ehci_detach ( __int64 @@a1@@ ) { const char * v1 ; int v2 ; __int64 @@v4@@ ; int * @@v5@@ ; _QWORD * @@v6@@ ; unsigned __int64 @@v7@@ ; @@v7@@ = __readfsqword ( Number ) ; @@v4@@ = * ( _QWORD * ) ( @@a1@@ + Number ) ; @@v5@@ = ( int * ) ( Number * ( * ( int * ) ( @@a1@@ + Number ) + Number L ) + @@v4@@ + Number ) ; if ( ( * @@v5@@ & Number ) != Number ) v1 = String ; else v1 = String ; trace_usb_ehci_port_detach ( * ( unsigned int * ) ( @@a1@@ + Number ) , v1 ) ; if ( ( * @@v5@@ & Number ) != Number ) { @@v6@@ = * ( _QWORD * * ) ( @@v4@@ + Number * ( * ( int * ) ( @@a1@@ + Number ) + Number L ) ) ; ( * ( void ( __fastcall * * ) ( _QWORD * ) ) ( @@v6@@ [ Number ] + Number L ) ) ( @@v6@@ ) ; * @@v6@@ = Number L ; v2 = * @@v5@@ ; BYTE1 ( v2 ) = BYTE1 ( * @@v5@@ ) & Number ; * @@v5@@ = v2 ; } else { ehci_queues_rip_device ( @@v4@@ , * ( _QWORD * ) @@a1@@ , Number ) ; ehci_queues_rip_device ( @@v4@@ , * ( _QWORD * ) @@a1@@ , Number ) ; * @@v5@@ &= Number ; * @@v5@@ |= Number ; ehci_raise_irq ( @@v4@@ , Number ) ; } return __readfsqword ( Number ) ^ @@v7@@ ; }", "source": [{"n": "a1", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r56"}, {"n": "v6", "t": {"T": 3, "t": "_QWORD"}, "location": "s16"}, {"n": "v5", "t": {"T": 3, "t": "int"}, "location": "s32"}, {"n": "v4", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "s40"}, {"n": "v7", "t": {"T": 1, "n": "unsigned __int64", "s": 8}, "location": "s8"}]} {"name": "ehci_execute_complete", "code": "unsigned __int64 __fastcall ehci_execute_complete ( __int64 @@a1@@ ) { int @@v1@@ ; int v3 ; int v4 ; _DWORD * @@v5@@ ; unsigned __int64 @@v6@@ ; @@v6@@ = __readfsqword ( Number ) ; @@v5@@ = * ( _DWORD * * ) ( @@a1@@ + Number ) ; if ( ! @@v5@@ ) _assert_fail ( String , String , Number , String ) ; if ( @@v5@@ [ Number ] != * ( _DWORD * ) ( @@a1@@ + Number ) ) _assert_fail ( String , String , Number , String ) ; if ( @@v5@@ [ Number ] != Number && @@v5@@ [ Number ] != Number ) _assert_fail ( String , String , Number , String ) ; switch ( @@v5@@ [ Number ] ) { case Number : case Number : * ( _DWORD * ) ( @@a1@@ + Number ) |= Number ; * ( _DWORD * ) ( @@a1@@ + Number ) &= Number ; ehci_raise_irq ( * ( _QWORD * ) @@a1@@ , Number ) ; goto LABEL_14 ; case Number : * ( _DWORD * ) ( @@a1@@ + Number ) |= Number ; ehci_raise_irq ( * ( _QWORD * ) @@a1@@ , Number ) ; goto LABEL_14 ; case Number : * ( _DWORD * ) ( @@a1@@ + Number ) |= Number ; ehci_raise_irq ( * ( _QWORD * ) @@a1@@ , Number ) ; goto LABEL_14 ; case Number : * ( _DWORD * ) ( @@a1@@ + Number ) &= Number ; return __readfsqword ( Number ) ^ @@v6@@ ; case Number : goto LABEL_14 ; default : fprintf ( stderr , String , ( unsigned int ) @@v5@@ [ Number ] ) ; g_assertion_message_expr ( Number L , String , Number L , String , Number L ) ; LABEL_14 : v3 = HIWORD ( * ( _DWORD * ) ( @@a1@@ + Number ) ) & Number ; if ( v3 && @@v5@@ [ Number ] == Number ) { v4 = v3 - @@v5@@ [ Number ] ; if ( v4 ) { ehci_raise_irq ( * ( _QWORD * ) @@a1@@ , Number ) ; if ( * ( _DWORD * ) ( @@a1@@ + Number ) ) * ( _BYTE * ) ( * ( _QWORD * ) @@a1@@ + Number L ) = Number ; } } else { v4 = Number ; } * ( _DWORD * ) ( @@a1@@ + Number ) = ( v4 << Number ) & Number | * ( _DWORD * ) ( @@a1@@ + Number ) & Number ; ehci_finish_transfer ( @@a1@@ , @@v5@@ [ Number ] ) ; usb_packet_unmap ( @@v5@@ + Number , @@v5@@ + Number ) ; qemu_sglist_destroy ( @@v5@@ + Number ) ; @@v5@@ [ Number ] = Number ; * ( _DWORD * ) ( @@a1@@ + Number ) ^= Number ; @@v1@@ = * ( _DWORD * ) ( @@a1@@ + Number ) ; LOBYTE ( @@v1@@ ) = @@v1@@ & Number ; * ( _DWORD * ) ( @@a1@@ + Number ) = @@v1@@ ; if ( ( * ( _DWORD * ) ( @@a1@@ + Number ) & Number ) != Number ) { ehci_raise_irq ( * ( _QWORD * ) @@a1@@ , Number ) ; if ( * ( _DWORD * ) ( @@a1@@ + Number ) ) * ( _BYTE * ) ( * ( _QWORD * ) @@a1@@ + Number L ) = Number ; } return __readfsqword ( Number ) ^ @@v6@@ ; } }", "source": [{"n": "a1", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r56"}, {"n": "v1", "t": {"T": 1, "n": "int", "s": 4}, "location": "r8"}, {"n": "v5", "t": {"T": 3, "t": "_DWORD"}, "location": "s16"}, {"n": "v6", "t": {"T": 1, "n": "unsigned __int64", "s": 8}, "location": "s8"}]} {"name": "ehci_process_itd", "code": "__int64 __fastcall ehci_process_itd ( __int64 @@a1@@ , _DWORD * @@a2@@ , unsigned int @@a3@@ ) { int @@v4@@ ; unsigned int @@i@@ ; unsigned int @@v7@@ ; int @@v8@@ ; int @@v9@@ ; unsigned int @@v10@@ ; int @@v11@@ ; int @@v12@@ ; unsigned int @@v13@@ ; int @@v14@@ ; unsigned int @@v15@@ ; unsigned int @@v16@@ ; unsigned int @@v17@@ ; __int64 @@v18@@ ; __int64 @@v19@@ ; * ( _DWORD * ) ( @@a1@@ + Number ) = Number ; @@v8@@ = @@a2@@ [ Number ] & Number ; @@v9@@ = @@a2@@ [ Number ] & Number ; @@v10@@ = ( @@a2@@ [ Number ] >> Number ) & Number ; @@v11@@ = @@a2@@ [ Number ] & Number ; @@v12@@ = @@a2@@ [ Number ] & Number ; for ( @@i@@ = Number ; @@i@@ <= Number ; ++ @@i@@ ) { if ( ( int ) @@a2@@ [ @@i@@ + Number ] < Number ) { @@v13@@ = ( @@a2@@ [ @@i@@ + Number ] >> Number ) & Number ; @@v14@@ = @@a2@@ [ @@i@@ + Number ] & Number ; @@v15@@ = @@a2@@ [ @@v13@@ + Number ] & Number ; @@v16@@ = @@a2@@ [ @@v13@@ + Number ] & Number ; @@v7@@ = HIWORD ( @@a2@@ [ @@i@@ + Number ] ) & Number ; if ( @@v7@@ > @@v12@@ * @@v11@@ ) @@v7@@ = @@v12@@ * @@v11@@ ; if ( @@v7@@ > Number ) return Number ; qemu_sglist_init ( @@a1@@ + Number , * ( _QWORD * ) ( @@a1@@ + Number ) , Number L , * ( _QWORD * ) ( @@a1@@ + Number ) ) ; if ( @@v14@@ + @@v7@@ <= Number ) { qemu_sglist_add ( @@a1@@ + Number , @@v15@@ + @@v14@@ , @@v7@@ ) ; } else { qemu_sglist_add ( @@a1@@ + Number , @@v15@@ + @@v14@@ , ( unsigned int ) ( Number - @@v14@@ ) ) ; qemu_sglist_add ( @@a1@@ + Number , @@v16@@ , @@v14@@ + @@v7@@ - Number ) ; } if ( @@v8@@ ) @@v4@@ = Number ; else @@v4@@ = Number ; @@v17@@ = @@v4@@ ; @@v18@@ = ehci_find_device ( @@a1@@ , @@v9@@ ) ; @@v19@@ = usb_ep_get ( @@v18@@ , @@v17@@ , @@v10@@ ) ; if ( @@v19@@ && * ( _BYTE * ) ( @@v19@@ + Number ) == Number ) { usb_packet_setup ( @@a1@@ + Number , @@v17@@ , @@v19@@ , Number L , @@a3@@ , Number L , ( @@a2@@ [ @@i@@ + Number ] & Number ) != Number ) ; usb_packet_map ( @@a1@@ + Number , @@a1@@ + Number ) ; usb_handle_packet ( @@v18@@ , @@a1@@ + Number ) ; usb_packet_unmap ( @@a1@@ + Number , @@a1@@ + Number ) ; } else { * ( _DWORD * ) ( @@a1@@ + Number ) = Number ; * ( _DWORD * ) ( @@a1@@ + Number ) = Number ; } qemu_sglist_destroy ( @@a1@@ + Number ) ; switch ( * ( _DWORD * ) ( @@a1@@ + Number ) ) { case Number : case Number : goto LABEL_19 ; case Number : @@a2@@ [ @@i@@ + Number ] |= Number ; ehci_raise_irq ( @@a1@@ , Number ) ; break ; case Number : * ( _DWORD * ) ( @@a1@@ + Number ) = Number ; break ; case Number : break ; default : fprintf ( stderr , String , * ( unsigned int * ) ( @@a1@@ + Number ) ) ; LABEL_19 : if ( @@v8@@ ) { @@a2@@ [ @@i@@ + Number ] |= Number ; ehci_raise_irq ( @@a1@@ , Number ) ; } break ; } if ( @@v8@@ ) @@a2@@ [ @@i@@ + Number ] = ( * ( _DWORD * ) ( @@a1@@ + Number ) << Number ) & Number | @@a2@@ [ @@i@@ + Number ] & Number ; else @@a2@@ [ @@i@@ + Number ] = ( ( @@v7@@ - * ( _DWORD * ) ( @@a1@@ + Number ) ) << Number ) & Number | @@a2@@ [ @@i@@ + Number ] & Number ; if ( ( @@a2@@ [ @@i@@ + Number ] & Number ) != Number ) ehci_raise_irq ( @@a1@@ , Number ) ; @@a2@@ [ @@i@@ + Number ] &= Number ; } } return Number L ; }", "source": [{"n": "a3", "t": {"T": 1, "n": "unsigned int", "s": 4}, "location": "r16"}, {"n": "a1", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r56"}, {"n": "a2", "t": {"T": 3, "t": "_DWORD"}, "location": "r64"}, {"n": "v4", "t": {"T": 1, "n": "int", "s": 4}, "location": "r8"}, {"n": "v19", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "s16"}, {"n": "v18", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "s24"}, {"n": "v17", "t": {"T": 1, "n": "unsigned int", "s": 4}, "location": "s36"}, {"n": "v16", "t": {"T": 1, "n": "unsigned int", "s": 4}, "location": "s48"}, {"n": "v15", "t": {"T": 1, "n": "unsigned int", "s": 4}, "location": "s52"}, {"n": "v14", "t": {"T": 1, "n": "int", "s": 4}, "location": "s56"}, {"n": "v13", "t": {"T": 1, "n": "unsigned int", "s": 4}, "location": "s60"}, {"n": "v12", "t": {"T": 1, "n": "int", "s": 4}, "location": "s64"}, {"n": "v11", "t": {"T": 1, "n": "int", "s": 4}, "location": "s68"}, {"n": "v10", "t": {"T": 1, "n": "unsigned int", "s": 4}, "location": "s72"}, {"n": "v9", "t": {"T": 1, "n": "int", "s": 4}, "location": "s76"}, {"n": "v8", "t": {"T": 1, "n": "int", "s": 4}, "location": "s80"}, {"n": "v7", "t": {"T": 1, "n": "unsigned int", "s": 4}, "location": "s84"}, {"n": "i", "t": {"T": 1, "n": "unsigned int", "s": 4}, "location": "s88"}]} {"name": "ehci_advance_async_state", "code": "unsigned __int64 __fastcall ehci_advance_async_state ( _DWORD * @@a1@@ ) { int @@v1@@ ; unsigned __int64 @@v3@@ ; @@v3@@ = __readfsqword ( Number ) ; @@v1@@ = ehci_get_state ( ( __int64 ) @@a1@@ , Number ) ; if ( @@v1@@ == Number ) { if ( ! ehci_async_enabled ( ( __int64 ) @@a1@@ ) ) return __readfsqword ( Number ) ^ @@v3@@ ; ehci_set_state ( @@a1@@ , Number , Number ) ; } else if ( @@v1@@ != Number ) { fprintf ( stderr , String , ( unsigned int ) @@a1@@ [ Number ] ) ; g_assertion_message_expr ( Number L , String , Number L , String , Number L ) ; return __readfsqword ( Number ) ^ @@v3@@ ; } if ( ! ehci_async_enabled ( ( __int64 ) @@a1@@ ) ) { ehci_queues_rip_all ( ( __int64 ) @@a1@@ , Number ) ; ehci_set_state ( @@a1@@ , Number , Number ) ; } else if ( ( @@a1@@ [ Number ] & Number ) == Number ) { if ( @@a1@@ [ Number ] ) { ehci_set_state ( @@a1@@ , Number , Number ) ; ehci_advance_state ( @@a1@@ , Number ) ; if ( ( @@a1@@ [ Number ] & Number ) != Number ) { ehci_queues_rip_unseen ( ( __int64 ) @@a1@@ , Number ) ; trace_usb_ehci_doorbell_ack ( ) ; @@a1@@ [ Number ] &= Number ; ehci_raise_irq ( ( __int64 ) @@a1@@ , Number ) ; } } } return __readfsqword ( Number ) ^ @@v3@@ ; }", "source": [{"n": "a1", "t": {"T": 3, "t": "_DWORD"}, "location": "r56"}, {"n": "v1", "t": {"T": 1, "n": "int", "s": 4}, "location": "r8"}, {"n": "v3", "t": {"T": 1, "n": "unsigned __int64", "s": 8}, "location": "s8"}]} {"name": "ehci_update_frindex", "code": "unsigned __int64 __fastcall ehci_update_frindex ( _DWORD * @@a1@@ , int @@a2@@ ) { int @@i@@ ; unsigned __int64 @@v4@@ ; @@v4@@ = __readfsqword ( Number ) ; if ( ehci_enabled ( ( __int64 ) @@a1@@ ) || @@a1@@ [ Number ] != Number ) { for ( @@i@@ = Number ; @@i@@ < @@a2@@ ; ++ @@i@@ ) { if ( ++ @@a1@@ [ Number ] == Number ) ehci_raise_irq ( ( __int64 ) @@a1@@ , Number ) ; if ( @@a1@@ [ Number ] == Number ) { ehci_raise_irq ( ( __int64 ) @@a1@@ , Number ) ; @@a1@@ [ Number ] = Number ; if ( @@a1@@ [ Number ] <= Number ) @@a1@@ [ Number ] = Number ; else @@a1@@ [ Number ] -= Number ; } } } return __readfsqword ( Number ) ^ @@v4@@ ; }", "source": [{"n": "a1", "t": {"T": 3, "t": "_DWORD"}, "location": "r56"}, {"n": "a2", "t": {"T": 1, "n": "int", "s": 4}, "location": "r64"}, {"n": "i", "t": {"T": 1, "n": "int", "s": 4}, "location": "s12"}, {"n": "v4", "t": {"T": 1, "n": "unsigned __int64", "s": 8}, "location": "s8"}]}