{"name": "vct_delfirstchar", "code": "void __fastcall vct_delfirstchar ( unsigned __int64 @@a1@@ ) { __int64 @@v1@@ ; __int64 v2 ; __int64 v3 ; __int64 v4 ; if ( @@a1@@ ) { if ( ( @@a1@@ & Number ) != Number ) _ubsan_handle_type_mismatch_v1 ( & off_280 , @@a1@@ ) ; if ( @@a1@@ >= Number ) _ubsan_handle_pointer_overflow ( & off_2C0 , @@a1@@ , @@a1@@ + Number ) ; if ( * ( _BYTE * ) ( ( ( @@a1@@ + Number ) >> Number ) + Number ) ) _asan_report_load8 ( @@a1@@ + Number ) ; @@v1@@ = * ( _QWORD * ) ( @@a1@@ + Number ) ; if ( ( @@a1@@ & Number ) != Number ) _ubsan_handle_type_mismatch_v1 ( & off_300 , @@a1@@ ) ; if ( * ( _BYTE * ) ( ( @@a1@@ >> Number ) + Number ) ) _asan_report_load8 ( @@a1@@ ) ; v2 = * ( _QWORD * ) @@a1@@ ; if ( * ( _QWORD * ) @@a1@@ == Number ) _ubsan_handle_pointer_overflow ( & off_340 , * ( _QWORD * ) @@a1@@ , * ( _QWORD * ) @@a1@@ + Number L ) ; v3 = v2 + Number ; if ( ( @@a1@@ & Number ) != Number ) _ubsan_handle_type_mismatch_v1 ( & off_380 , @@a1@@ ) ; ft_memmove ( * ( _QWORD * ) @@a1@@ , v3 , @@v1@@ ) ; if ( ( @@a1@@ & Number ) != Number ) _ubsan_handle_type_mismatch_v1 ( & off_3C0 , @@a1@@ ) ; if ( @@a1@@ >= Number ) _ubsan_handle_pointer_overflow ( & off_400 , @@a1@@ , @@a1@@ + Number ) ; if ( * ( _BYTE * ) ( ( ( @@a1@@ + Number ) >> Number ) + Number ) ) _asan_report_load8 ( @@a1@@ + Number ) ; v4 = * ( _QWORD * ) ( @@a1@@ + Number ) - Number L ; if ( ( @@a1@@ & Number ) != Number ) _ubsan_handle_type_mismatch_v1 ( & off_440 , @@a1@@ ) ; if ( @@a1@@ >= Number ) _ubsan_handle_pointer_overflow ( & off_480 , @@a1@@ , @@a1@@ + Number ) ; * ( _QWORD * ) ( @@a1@@ + Number ) = v4 ; } }", "source": [{"n": "v1", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r104"}, {"n": "a1", "t": {"T": 1, "n": "unsigned __int64", "s": 8}, "location": "r56"}]}