bench_split_via_runtime_check_dynamic_size:
	mov rax, rdi
	mov rcx, qword ptr [rsi]
	mov rdx, qword ptr [rsi + 8]
	mov rsi, qword ptr [rsi + 16]
	lea rdi, [rcx + 2*rsi]
	add rdi, 4
	sub rdx, rsi
	mov qword ptr [rax], rcx
	mov qword ptr [rax + 8], rsi
	mov qword ptr [rax + 16], rdi
	mov qword ptr [rax + 24], rdx
	ret