// File: /workspace/github_cpp_makefile_star2_O3/reedoolang[P]reedoo/io.cc
// Function: doPRINT(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>)
void doPRINT(string toPrint) {
  if (toPrint.substr(0,6) == "string") {
    toPrint = toPrint.substr (7);
    toPrint = toPrint.substr(1,toPrint.size() - 2);
  } else if (toPrint.substr(0,3) == "num") {
    toPrint = toPrint.substr (4);
  } else if (toPrint.substr(0,4) == "expr") {
    toPrint = toPrint.substr (5);
    toPrint = rdo_eval(toPrint);
  }
  cout << toPrint << endl;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
subq $0x40, %rsp
movq %rdi, %rbx
movq %rsp, %r14
movl $0x6, %ecx
movq %r14, %rdi
movq %rbx, %rsi
xorl %edx, %edx
callq 0x2200
leaq 0x1313(%rip), %rsi      # 0xe00a
movq %r14, %rdi
callq 0x20b0
movl %eax, %ebp
movq (%r14), %rdi
leaq 0x10(%rsp), %r15
cmpq %r15, %rdi
je 0xcd1b
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x21e0
movq %rsp, %r14
testl %ebp, %ebp
je 0xce47
movl $0x3, %ecx
movq %r14, %rdi
movq %rbx, %rsi
xorl %edx, %edx
callq 0x2200
leaq 0x12dc(%rip), %rsi      # 0xe01b
movq %r14, %rdi
callq 0x20b0
movl %eax, %ebp
movq (%r14), %rdi
cmpq %r15, %rdi
je 0xcd5e
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x21e0
movq %rsp, %r14
testl %ebp, %ebp
je 0xce96
movl $0x4, %ecx
movq %r14, %rdi
movq %rbx, %rsi
xorl %edx, %edx
callq 0x2200
leaq 0x165c(%rip), %rsi      # 0xe3de
movq %r14, %rdi
callq 0x20b0
movl %eax, %ebp
movq (%r14), %rdi
cmpq %r15, %rdi
je 0xcda1
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x21e0
testl %ebp, %ebp
jne 0xcecd
movq %rsp, %r14
movl $0x5, %edx
movq %r14, %rdi
movq %rbx, %rsi
movq $-0x1, %rcx
callq 0x2200
movq %rbx, %rdi
movq %r14, %rsi
callq 0x2260
movq (%r14), %rdi
cmpq %r15, %rdi
je 0xcde3
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x21e0
leaq 0x30(%rsp), %r12
movq %r12, -0x10(%r12)
movq (%rbx), %rsi
movq 0x8(%rbx), %rdx
addq %rsi, %rdx
leaq 0x20(%rsp), %r14
movq %r14, %rdi
callq 0x31d4
movq %rsp, %rdi
movq %r14, %rsi
callq 0xad67
movq %rsp, %r14
movq %rbx, %rdi
movq %r14, %rsi
callq 0x2260
movq (%r14), %rdi
cmpq %r15, %rdi
je 0xce32
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x21e0
movq 0x20(%rsp), %rdi
cmpq %r12, %rdi
je 0xcecd
movq 0x30(%rsp), %rsi
jmp 0xcec5
movl $0x7, %edx
movq %r14, %rdi
movq %rbx, %rsi
movq $-0x1, %rcx
callq 0x2200
movq %rbx, %rdi
movq %r14, %rsi
callq 0x2260
movq (%r14), %rdi
cmpq %r15, %rdi
je 0xce7e
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x21e0
movq 0x8(%rbx), %rcx
addq $-0x2, %rcx
movq %rsp, %r14
movl $0x1, %edx
movq %r14, %rdi
movq %rbx, %rsi
jmp 0xcea8
movl $0x4, %edx
movq %r14, %rdi
movq %rbx, %rsi
movq $-0x1, %rcx
callq 0x2200
movq %rbx, %rdi
movq %r14, %rsi
callq 0x2260
movq (%r14), %rdi
cmpq %r15, %rdi
je 0xcecd
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x21e0
movq (%rbx), %rsi
movq 0x8(%rbx), %rdx
movq 0x40fd(%rip), %rdi      # 0x10fd8
callq 0x2230
movq %rax, %rbx
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x21b0
movsbl %al, %esi
movq %rbx, %rdi
callq 0x2030
movq %rax, %rdi
callq 0x2140
addq $0x40, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %rbx
movq 0x20(%rsp), %rdi
cmpq %r12, %rdi
je 0xcf31
movq 0x30(%rsp), %rsi
incq %rsi
callq 0x21e0
movq %rbx, %rdi
callq 0x2320
nopl (%rax)