// File: Mulan-Szechuan-Sauce[P]javelin/src/scope.cpp
// Function: Scope::addStandardDefinitions()
void Scope::addStandardDefinitions() {
  addDefinition("print", new PrintDefinition());
  addDefinition("exit", new ExitDefinition());
  addDefinition("str", new StrCastDefinition());
  addDefinition("int", new IntCastDefinition());
  addDefinition("javelin::modulus", new ModulusDefinition());
  addDefinition("range", new RangeDefinition());
  addDefinition("len", new LenDefinition());
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x1b0, %rsp            # imm = 0x1B0
movq %rdi, -0x8(%rbp)
movq -0x8(%rbp), %rax
movq %rax, -0x140(%rbp)
leaq -0x29(%rbp), %rdi
movq %rdi, -0x138(%rbp)
callq 0x5410
movq -0x138(%rbp), %rdx
leaq 0x855a(%rip), %rsi      # 0x16a52
leaq -0x28(%rbp), %rdi
callq 0x52f0
jmp 0xe503
movl $0x10, %edi
callq 0x5220
movq %rax, -0x148(%rbp)
jmp 0xe516
movq -0x148(%rbp), %rdi
callq 0xefa0
jmp 0xe524
movq -0x148(%rbp), %rdx
movq -0x140(%rbp), %rdi
leaq -0x28(%rbp), %rsi
callq 0xdf30
jmp 0xe53d
leaq -0x28(%rbp), %rdi
callq 0x5190
leaq -0x29(%rbp), %rdi
callq 0x5260
leaq -0x61(%rbp), %rdi
movq %rdi, -0x150(%rbp)
callq 0x5410
movq -0x150(%rbp), %rdx
leaq 0x84eb(%rip), %rsi      # 0x16a58
leaq -0x60(%rbp), %rdi
callq 0x52f0
jmp 0xe578
movl $0x10, %edi
callq 0x5220
movq %rax, -0x158(%rbp)
jmp 0xe58b
movq -0x158(%rbp), %rdi
callq 0xefe0
jmp 0xe599
movq -0x158(%rbp), %rdx
movq -0x140(%rbp), %rdi
leaq -0x60(%rbp), %rsi
callq 0xdf30
jmp 0xe5b2
leaq -0x60(%rbp), %rdi
callq 0x5190
leaq -0x61(%rbp), %rdi
callq 0x5260
leaq -0x89(%rbp), %rdi
movq %rdi, -0x160(%rbp)
callq 0x5410
movq -0x160(%rbp), %rdx
leaq 0x7d10(%rip), %rsi      # 0x162f5
leaq -0x88(%rbp), %rdi
callq 0x52f0
jmp 0xe5f3
movl $0x10, %edi
callq 0x5220
movq %rax, -0x168(%rbp)
jmp 0xe606
movq -0x168(%rbp), %rdi
callq 0xf020
jmp 0xe614
movq -0x168(%rbp), %rdx
movq -0x140(%rbp), %rdi
leaq -0x88(%rbp), %rsi
callq 0xdf30
jmp 0xe630
leaq -0x88(%rbp), %rdi
callq 0x5190
leaq -0x89(%rbp), %rdi
callq 0x5260
leaq -0xb1(%rbp), %rdi
movq %rdi, -0x170(%rbp)
callq 0x5410
movq -0x170(%rbp), %rdx
leaq 0x83eb(%rip), %rsi      # 0x16a54
leaq -0xb0(%rbp), %rdi
callq 0x52f0
jmp 0xe677
movl $0x10, %edi
callq 0x5220
movq %rax, -0x178(%rbp)
jmp 0xe68a
movq -0x178(%rbp), %rdi
callq 0xf060
jmp 0xe698
movq -0x178(%rbp), %rdx
movq -0x140(%rbp), %rdi
leaq -0xb0(%rbp), %rsi
callq 0xdf30
jmp 0xe6b4
leaq -0xb0(%rbp), %rdi
callq 0x5190
leaq -0xb1(%rbp), %rdi
callq 0x5260
leaq -0xd9(%rbp), %rdi
movq %rdi, -0x180(%rbp)
callq 0x5410
movq -0x180(%rbp), %rdx
leaq 0x7bf7(%rip), %rsi      # 0x162e4
leaq -0xd8(%rbp), %rdi
callq 0x52f0
jmp 0xe6fb
movl $0x10, %edi
callq 0x5220
movq %rax, -0x188(%rbp)
jmp 0xe70e
movq -0x188(%rbp), %rdi
callq 0xf0a0
jmp 0xe71c
movq -0x188(%rbp), %rdx
movq -0x140(%rbp), %rdi
leaq -0xd8(%rbp), %rsi
callq 0xdf30
jmp 0xe738
leaq -0xd8(%rbp), %rdi
callq 0x5190
leaq -0xd9(%rbp), %rdi
callq 0x5260
leaq -0x101(%rbp), %rdi
movq %rdi, -0x190(%rbp)
callq 0x5410
movq -0x190(%rbp), %rdx
leaq 0x82ec(%rip), %rsi      # 0x16a5d
leaq -0x100(%rbp), %rdi
callq 0x52f0
jmp 0xe77f
movl $0x10, %edi
callq 0x5220
movq %rax, -0x198(%rbp)
jmp 0xe792
movq -0x198(%rbp), %rdi
callq 0xf0e0
jmp 0xe7a0
movq -0x198(%rbp), %rdx
movq -0x140(%rbp), %rdi
leaq -0x100(%rbp), %rsi
callq 0xdf30
jmp 0xe7bc
leaq -0x100(%rbp), %rdi
callq 0x5190
leaq -0x101(%rbp), %rdi
callq 0x5260
leaq -0x129(%rbp), %rdi
movq %rdi, -0x1a0(%rbp)
callq 0x5410
movq -0x1a0(%rbp), %rdx
leaq 0x826e(%rip), %rsi      # 0x16a63
leaq -0x128(%rbp), %rdi
callq 0x52f0
jmp 0xe803
movl $0x10, %edi
callq 0x5220
movq %rax, -0x1a8(%rbp)
jmp 0xe816
movq -0x1a8(%rbp), %rdi
callq 0xf120
jmp 0xe824
movq -0x1a8(%rbp), %rdx
movq -0x140(%rbp), %rdi
leaq -0x128(%rbp), %rsi
callq 0xdf30
jmp 0xe840
leaq -0x128(%rbp), %rdi
callq 0x5190
leaq -0x129(%rbp), %rdi
callq 0x5260
addq $0x1b0, %rsp            # imm = 0x1B0
popq %rbp
retq
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
jmp 0xe89e
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
jmp 0xe895
movq -0x148(%rbp), %rdi
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
callq 0x5200
leaq -0x28(%rbp), %rdi
callq 0x5190
leaq -0x29(%rbp), %rdi
callq 0x5260
jmp 0xea84
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
jmp 0xe8e9
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
jmp 0xe8e0
movq -0x158(%rbp), %rdi
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
callq 0x5200
leaq -0x60(%rbp), %rdi
callq 0x5190
leaq -0x61(%rbp), %rdi
callq 0x5260
jmp 0xea84
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
jmp 0xe937
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
jmp 0xe92b
movq -0x168(%rbp), %rdi
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
callq 0x5200
leaq -0x88(%rbp), %rdi
callq 0x5190
leaq -0x89(%rbp), %rdi
callq 0x5260
jmp 0xea84
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
jmp 0xe988
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
jmp 0xe97c
movq -0x178(%rbp), %rdi
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
callq 0x5200
leaq -0xb0(%rbp), %rdi
callq 0x5190
leaq -0xb1(%rbp), %rdi
callq 0x5260
jmp 0xea84
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
jmp 0xe9d9
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
jmp 0xe9cd
movq -0x188(%rbp), %rdi
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
callq 0x5200
leaq -0xd8(%rbp), %rdi
callq 0x5190
leaq -0xd9(%rbp), %rdi
callq 0x5260
jmp 0xea84
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
jmp 0xea2a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
jmp 0xea1e
movq -0x198(%rbp), %rdi
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
callq 0x5200
leaq -0x100(%rbp), %rdi
callq 0x5190
leaq -0x101(%rbp), %rdi
callq 0x5260
jmp 0xea84
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
jmp 0xea78
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
jmp 0xea6c
movq -0x1a8(%rbp), %rdi
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
callq 0x5200
leaq -0x128(%rbp), %rdi
callq 0x5190
leaq -0x129(%rbp), %rdi
callq 0x5260
movq -0x38(%rbp), %rdi
callq 0x5400
nopl (%rax)