// File: /workspace/github_cpp_makefile_star2_O2/FalconUA[P]vfs/./utility/mv.h
// Function: virt::util::mv::launch(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>)
std::string launch(std::string param){
			virt::util::shell* sh;
			if ((sh = dynamic_cast<virt::util::shell*>(working_os->app("shell"))) == NULL)
				return "ERROR: No module named \"shell\" found!";

			while (param[0] == ' ')
				param.erase(0, 1);
			while (param[param.length()-1] == ' ')
				param.erase(param.length()-1, 1);

			std::size_t p = std::min(param.find(' '), param.length());	
			std::string first_path = param.substr(0, p);

			if (first_path.find(' ') != std::string::npos || first_path.find('/') != std::string::npos
					|| first_path == "" || first_path == "." || first_path == "..")
				return "Invalid second file name. Please see 'help mv' for more information.\n";
			param.erase(0, p+1);

			virt::filesystem::dir_iterator it_dest(sh->shell_iterator);
			it_dest.move_to(param);

			bool b = virt::fs::move_subdir(first_path, sh->shell_iterator.get_working_dir(), it_dest.get_working_dir());
			if (!b)
				return "Cannot move this directory. See 'help mv' for more information.\n";
			return "";
		}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0xa8, %rsp
movq %rdx, %r14
movq %rdi, %rbx
movq 0x8(%rsi), %r15
leaq 0x937(%rip), %rsi       # 0x91ef
leaq 0x88(%rsp), %rdi
leaq 0x10(%rsp), %rdx
callq 0x3e68
leaq 0x88(%rsp), %rsi
movq %r15, %rdi
callq 0x595a
testq %rax, %rax
je 0x88fc
leaq 0x72aa(%rip), %rsi      # 0xfb90
leaq 0x72b3(%rip), %rdx      # 0xfba0
movq %rax, %rdi
xorl %ecx, %ecx
callq 0x31f0
movq %rax, %r15
jmp 0x88ff
xorl %r15d, %r15d
leaq 0x88(%rsp), %rdi
callq 0x30d0
testq %r15, %r15
je 0x8a0a
pushq $0x1
popq %r12
movq (%r14), %rax
cmpb $0x20, (%rax)
jne 0x8930
movq %r14, %rdi
xorl %esi, %esi
movq %r12, %rdx
callq 0x3070
jmp 0x8919
pushq $0x1
popq %r12
movq 0x8(%r14), %rsi
cmpb $0x20, -0x1(%rax,%rsi)
jne 0x8952
decq %rsi
movq %r14, %rdi
movq %r12, %rdx
callq 0x3070
movq (%r14), %rax
jmp 0x8934
pushq $0x20
popq %rbp
movq %r14, %rdi
movl %ebp, %esi
xorl %edx, %edx
callq 0x3230
movq %rax, %r12
movq 0x8(%r14), %rax
cmpq %r12, %rax
cmovbq %rax, %r12
leaq 0x10(%rsp), %r13
movq %r13, %rdi
movq %r14, %rsi
xorl %edx, %edx
movq %r12, %rcx
callq 0x31d0
movq %r13, %rdi
movl %ebp, %esi
xorl %edx, %edx
callq 0x3230
cmpq $-0x1, %rax
jne 0x89ea
leaq 0x10(%rsp), %rdi
pushq $0x2f
popq %rsi
xorl %edx, %edx
callq 0x3230
cmpq $-0x1, %rax
jne 0x89ea
leaq 0x141b(%rip), %rsi      # 0x9dcd
leaq 0x10(%rsp), %rdi
callq 0x4088
testb %al, %al
jne 0x89ea
leaq 0x63e(%rip), %rsi       # 0x9005
leaq 0x10(%rsp), %rdi
callq 0x4088
testb %al, %al
jne 0x89ea
leaq 0x628(%rip), %rsi       # 0x9004
leaq 0x10(%rsp), %rdi
callq 0x4088
testb %al, %al
je 0x8a33
leaq 0x1fcb(%rip), %rsi      # 0xa9bc
leaq 0x30(%rsp), %rdx
movq %rbx, %rdi
callq 0x3e68
leaq 0x10(%rsp), %rdi
callq 0x30d0
jmp 0x8a1e
leaq 0x115d(%rip), %rsi      # 0x9b6e
leaq 0x10(%rsp), %rdx
movq %rbx, %rdi
callq 0x3e68
movq %rbx, %rax
addq $0xa8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
incq %r12
movq %r14, %rdi
xorl %esi, %esi
movq %r12, %rdx
callq 0x3070
movups 0x50(%r15), %xmm0
movaps %xmm0, 0x30(%rsp)
leaq 0x68(%rsp), %rdi
movq %r14, %rsi
callq 0x3240
leaq 0x30(%rsp), %rdi
leaq 0x68(%rsp), %rsi
callq 0x570a
leaq 0x68(%rsp), %rdi
callq 0x30d0
leaq 0x48(%rsp), %rdi
leaq 0x10(%rsp), %rsi
callq 0x3240
addq $0x50, %r15
movq %r15, %rdi
callq 0x586a
movq %rax, %r14
leaq 0x30(%rsp), %rdi
callq 0x586a
leaq 0x48(%rsp), %rdi
movq %r14, %rsi
movq %rax, %rdx
callq 0x3d36
movl %eax, %ebp
leaq 0x48(%rsp), %rdi
callq 0x30d0
testb %bpl, %bpl
je 0x8ad5
leaq 0x130a(%rip), %rsi      # 0x9dcd
leaq 0xf(%rsp), %rdx
movq %rbx, %rdi
callq 0x3e68
jmp 0x89fe
leaq 0x1f26(%rip), %rsi      # 0xaa02
leaq 0xf(%rsp), %rdx
movq %rbx, %rdi
callq 0x3e68
jmp 0x89fe
jmp 0x8b11
jmp 0x8b11
jmp 0x8b11
movq %rax, %rbx
leaq 0x68(%rsp), %rdi
jmp 0x8b0a
jmp 0x8b11
jmp 0x8b11
movq %rax, %rbx
leaq 0x48(%rsp), %rdi
callq 0x30d0
jmp 0x8b14
movq %rax, %rbx
leaq 0x10(%rsp), %rdi
jmp 0x8b26
movq %rax, %rbx
leaq 0x88(%rsp), %rdi
callq 0x30d0
jmp 0x8b30
movq %rax, %rbx
movq %rbx, %rdi
callq 0x32c0