// File: /workspace/github_c_makefile_star2_O0/dalnefre[P]kernel_abe/kernel.c
// Function: null_type
static
BEH_DECL(null_type)
{
	CONS* msg = WHAT;
	CONS* cust;
	CONS* req;

	DBUG_ENTER("null_type");
	ENSURE(is_pr(msg));
	cust = hd(msg);
	ENSURE(actorp(cust));
	req = tl(msg);

	DBUG_PRINT("cust", ("%s", cons_to_str(cust)));
	DBUG_PRINT("req", ("%s", cons_to_str(req)));
	if (is_pr(req)
	&& (hd(req) == ATOM("type_eq"))) {
		SEND(cust, ((tl(req) == MK_REF(null_type)) ? a_true : a_false));
	} else if (is_pr(req)
	&& (hd(req) == ATOM("eval"))) {
		SEND(cust, SELF);
	} else if (req == ATOM("as_pair")) {
		SEND(cust, NIL);
	} else if (req == ATOM("as_tuple")) {
		SEND(cust, NIL);
	} else if (is_pr(req) && is_pr(tl(req))
	&& (hd(req) == ATOM("match"))
	&& (hd(tl(req)) == a_nil)) {
		SEND(cust, a_inert);
	} else if (req == ATOM("copy_immutable")) {
		SEND(cust, SELF);
	} else if (is_pr(req)
	&& (hd(req) == ATOM("map"))) {
		CONS* req_ = tl(req);

		SEND(SELF, pr(cust, req_));
	} else if (is_pr(req) && is_pr(tl(req))
	&& (hd(req) == ATOM("foldl"))) {
		CONS* zero = hd(tl(req));

		SEND(cust, zero);
	} else if (req == ATOM("write")) {
		SINK* sink = current_sink;
		SEND(cust, (sink->put_cstr)(sink, "()"));
	} else if (is_pr(req)
	&& (hd(req) == ATOM("write_tail"))
	&& (tl(req) == NUMBER(' '))) {
		SINK* sink = current_sink;
		SEND(cust, (sink->put)(sink, NUMBER(')')));
	} else {
		THROW(pr(ATOM("Not-Understood"), pr(SELF, req)));
	}
	DBUG_RETURN;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x1a0, %rsp            # imm = 0x1A0
movq %rdi, -0x8(%rbp)
movq -0x8(%rbp), %rax
movq 0x30(%rax), %rdi
callq 0x25510
movq %rax, -0x10(%rbp)
leaq 0x1c2bc(%rip), %rax     # 0x29973
movq %rax, -0x48(%rbp)
leaq 0x21c5e(%rip), %rax     # 0x2f320
movq (%rax), %rax
movq 0x50(%rax), %rax
movl 0x8(%rax), %eax
movl %eax, -0x40(%rbp)
movl $0x3c7, -0x3c(%rbp)     # imm = 0x3C7
leaq 0x1bc92(%rip), %rax     # 0x2936f
movq %rax, -0x38(%rbp)
leaq 0x21a58(%rip), %rax     # 0x2f140
movq %rax, -0x30(%rbp)
leaq 0x21c2d(%rip), %rax     # 0x2f320
movq (%rax), %rax
movq 0x50(%rax), %rax
movq %rax, -0x28(%rbp)
leaq -0x48(%rbp), %rdi
callq 0x28490
xorl %eax, %eax
cmpq $0x0, -0x10(%rbp)
movb %al, -0x69(%rbp)
je 0xd725
movq -0x10(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
sete %al
movb %al, -0x69(%rbp)
movb -0x69(%rbp), %al
andb $0x1, %al
movzbl %al, %eax
cltq
cmpq $0x0, %rax
je 0xd770
leaq 0x21b54(%rip), %rax     # 0x2f290
cmpq %rax, -0x10(%rbp)
sete %al
andb $0x1, %al
movzbl %al, %eax
cltq
cmpq $0x0, %rax
jne 0xd770
movq -0x10(%rbp), %rax
andq $0x3, %rax
cmpq $0x1, %rax
sete %al
andb $0x1, %al
movzbl %al, %eax
cltq
cmpq $0x0, %rax
je 0xd7f3
movq -0x8(%rbp), %rax
movq %rax, -0x80(%rbp)
movq -0x8(%rbp), %rdi
leaq -0x7c33(%rip), %rsi     # 0x5b50
leaq 0x21b06(%rip), %rdx     # 0x2f290
callq 0x1b6f0
movq %rax, -0x78(%rbp)
leaq 0x1bdbe(%rip), %rdi     # 0x29558
callq 0x216e0
movq %rax, -0x88(%rbp)
leaq 0x1b86f(%rip), %rdi     # 0x2901c
callq 0x216e0
movq %rax, %rdi
movl $0xf23, %esi            # imm = 0xF23
callq 0x25290
movq -0x88(%rbp), %rdi
movq %rax, %rsi
callq 0x25290
movq -0x80(%rbp), %rdi
movq -0x78(%rbp), %rsi
movq %rax, %rdx
callq 0x1b810
movl $0x3c8, -0x3c(%rbp)     # imm = 0x3C8
leaq -0x48(%rbp), %rdi
callq 0x28660
jmp 0xe234
movq -0x10(%rbp), %rdi
callq 0x25380
movq %rax, -0x18(%rbp)
movq -0x18(%rbp), %rax
andq $0x3, %rax
cmpq $0x1, %rax
sete %al
andb $0x1, %al
movzbl %al, %eax
cltq
cmpq $0x0, %rax
jne 0xd8af
movq -0x8(%rbp), %rax
movq %rax, -0x98(%rbp)
movq -0x8(%rbp), %rdi
leaq -0x7ce6(%rip), %rsi     # 0x5b50
leaq 0x21a53(%rip), %rdx     # 0x2f290
callq 0x1b6f0
movq %rax, -0x90(%rbp)
leaq 0x1bd08(%rip), %rdi     # 0x29558
callq 0x216e0
movq %rax, -0xa0(%rbp)
leaq 0x1b7b9(%rip), %rdi     # 0x2901c
callq 0x216e0
movq %rax, %rdi
movl $0xf2b, %esi            # imm = 0xF2B
callq 0x25290
movq -0xa0(%rbp), %rdi
movq %rax, %rsi
callq 0x25290
movq -0x98(%rbp), %rdi
movq -0x90(%rbp), %rsi
movq %rax, %rdx
callq 0x1b810
movl $0x3ca, -0x3c(%rbp)     # imm = 0x3CA
leaq -0x48(%rbp), %rdi
callq 0x28660
jmp 0xe234
movq -0x10(%rbp), %rdi
callq 0x25510
movq %rax, -0x20(%rbp)
leaq 0x2205d(%rip), %rax     # 0x2f920
cmpl $0x0, (%rax)
je 0xd921
leaq 0x21a51(%rip), %rax     # 0x2f320
movq (%rax), %rax
movq 0x50(%rax), %rax
leaq 0x1bc7e(%rip), %rcx     # 0x2955b
movq %rcx, 0x10(%rax)
leaq 0x1bc73(%rip), %rdi     # 0x2955b
callq 0x278a0
cmpl $0x0, %eax
je 0xd921
leaq 0x21a27(%rip), %rax     # 0x2f320
movq (%rax), %rax
movq 0x50(%rax), %rax
movl $0x3cd, 0xc(%rax)       # imm = 0x3CD
movq -0x18(%rbp), %rdi
callq 0x1d250
movq %rax, %rsi
leaq 0x1cc4b(%rip), %rdi     # 0x2a565
movb $0x0, %al
callq 0x28540
jmp 0xd923
jmp 0xd925
leaq 0x21ff4(%rip), %rax     # 0x2f920
cmpl $0x0, (%rax)
je 0xd98a
leaq 0x219e8(%rip), %rax     # 0x2f320
movq (%rax), %rax
movq 0x50(%rax), %rax
leaq 0x1bc1a(%rip), %rcx     # 0x29560
movq %rcx, 0x10(%rax)
leaq 0x1bc0f(%rip), %rdi     # 0x29560
callq 0x278a0
cmpl $0x0, %eax
je 0xd98a
leaq 0x219be(%rip), %rax     # 0x2f320
movq (%rax), %rax
movq 0x50(%rax), %rax
movl $0x3ce, 0xc(%rax)       # imm = 0x3CE
movq -0x20(%rbp), %rdi
callq 0x1d250
movq %rax, %rsi
leaq 0x1cbe2(%rip), %rdi     # 0x2a565
movb $0x0, %al
callq 0x28540
jmp 0xd98c
xorl %eax, %eax
cmpq $0x0, -0x20(%rbp)
movb %al, -0xa1(%rbp)
je 0xd9b0
movq -0x20(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
sete %al
movb %al, -0xa1(%rbp)
movb -0xa1(%rbp), %al
andb $0x1, %al
movzbl %al, %eax
cltq
cmpq $0x0, %rax
je 0xdaa1
leaq 0x218c2(%rip), %rax     # 0x2f290
cmpq %rax, -0x20(%rbp)
sete %al
andb $0x1, %al
movzbl %al, %eax
cltq
cmpq $0x0, %rax
jne 0xdaa1
movq -0x20(%rbp), %rax
andq $0x3, %rax
cmpq $0x1, %rax
sete %al
andb $0x1, %al
movzbl %al, %eax
cltq
cmpq $0x0, %rax
jne 0xdaa1
movq -0x20(%rbp), %rdi
callq 0x25380
movq %rax, -0xb0(%rbp)
leaq 0x1bb99(%rip), %rdi     # 0x295b6
callq 0x216e0
movq %rax, %rcx
movq -0xb0(%rbp), %rax
cmpq %rcx, %rax
jne 0xdaa1
movq -0x8(%rbp), %rax
movq %rax, -0xc0(%rbp)
movq -0x18(%rbp), %rax
movq %rax, -0xb8(%rbp)
movq -0x20(%rbp), %rdi
callq 0x25510
leaq -0x3c7(%rip), %rcx      # 0xd690
shlq $0x2, %rcx
orq $0x3, %rcx
cmpq %rcx, %rax
jne 0xda74
movq 0x2190d(%rip), %rax     # 0x2f378
movq %rax, -0xc8(%rbp)
jmp 0xda82
movq 0x218f5(%rip), %rax     # 0x2f370
movq %rax, -0xc8(%rbp)
movq -0xb8(%rbp), %rsi
movq -0xc0(%rbp), %rdi
movq -0xc8(%rbp), %rdx
callq 0x1b810
jmp 0xe224
xorl %eax, %eax
cmpq $0x0, -0x20(%rbp)
movb %al, -0xc9(%rbp)
je 0xdac5
movq -0x20(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
sete %al
movb %al, -0xc9(%rbp)
movb -0xc9(%rbp), %al
andb $0x1, %al
movzbl %al, %eax
cltq
cmpq $0x0, %rax
je 0xdb80
leaq 0x217ad(%rip), %rax     # 0x2f290
cmpq %rax, -0x20(%rbp)
sete %al
andb $0x1, %al
movzbl %al, %eax
cltq
cmpq $0x0, %rax
jne 0xdb80
movq -0x20(%rbp), %rax
andq $0x3, %rax
cmpq $0x1, %rax
sete %al
andb $0x1, %al
movzbl %al, %eax
cltq
cmpq $0x0, %rax
jne 0xdb80
movq -0x20(%rbp), %rdi
callq 0x25380
movq %rax, -0xd8(%rbp)
leaq 0x1ba90(%rip), %rdi     # 0x295be
callq 0x216e0
movq %rax, %rcx
movq -0xd8(%rbp), %rax
cmpq %rcx, %rax
jne 0xdb80
movq -0x8(%rbp), %rax
movq %rax, -0xe8(%rbp)
movq -0x18(%rbp), %rax
movq %rax, -0xe0(%rbp)
movq -0x8(%rbp), %rax
movq 0x30(%rax), %rdi
callq 0x25380
movq -0xe8(%rbp), %rdi
movq -0xe0(%rbp), %rsi
movq %rax, %rdx
callq 0x1b810
jmp 0xe222
movq -0x20(%rbp), %rax
movq %rax, -0xf0(%rbp)
leaq 0x1ba31(%rip), %rdi     # 0x295c3
callq 0x216e0
movq %rax, %rcx
movq -0xf0(%rbp), %rax
cmpq %rcx, %rax
jne 0xdbbf
movq -0x8(%rbp), %rdi
movq -0x18(%rbp), %rsi
leaq 0x216db(%rip), %rdx     # 0x2f290
callq 0x1b810
jmp 0xe220
movq -0x20(%rbp), %rax
movq %rax, -0xf8(%rbp)
leaq 0x1b9fa(%rip), %rdi     # 0x295cb
callq 0x216e0
movq %rax, %rcx
movq -0xf8(%rbp), %rax
cmpq %rcx, %rax
jne 0xdbfe
movq -0x8(%rbp), %rdi
movq -0x18(%rbp), %rsi
leaq 0x2169c(%rip), %rdx     # 0x2f290
callq 0x1b810
jmp 0xe21e
xorl %eax, %eax
cmpq $0x0, -0x20(%rbp)
movb %al, -0xf9(%rbp)
je 0xdc22
movq -0x20(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
sete %al
movb %al, -0xf9(%rbp)
movb -0xf9(%rbp), %al
andb $0x1, %al
movzbl %al, %eax
cltq
cmpq $0x0, %rax
je 0xdd65
leaq 0x21650(%rip), %rax     # 0x2f290
cmpq %rax, -0x20(%rbp)
sete %al
andb $0x1, %al
movzbl %al, %eax
cltq
cmpq $0x0, %rax
jne 0xdd65
movq -0x20(%rbp), %rax
andq $0x3, %rax
cmpq $0x1, %rax
sete %al
andb $0x1, %al
movzbl %al, %eax
cltq
cmpq $0x0, %rax
jne 0xdd65
movq -0x20(%rbp), %rdi
callq 0x25510
movq %rax, %rcx
xorl %eax, %eax
cmpq $0x0, %rcx
movb %al, -0xfa(%rbp)
je 0xdcac
movq -0x20(%rbp), %rdi
callq 0x25510
andq $0x3, %rax
cmpq $0x0, %rax
sete %al
movb %al, -0xfa(%rbp)
movb -0xfa(%rbp), %al
andb $0x1, %al
movzbl %al, %eax
cltq
cmpq $0x0, %rax
je 0xdd65
movq -0x20(%rbp), %rdi
callq 0x25510
leaq 0x215bd(%rip), %rcx     # 0x2f290
cmpq %rcx, %rax
sete %al
andb $0x1, %al
movzbl %al, %eax
cltq
cmpq $0x0, %rax
jne 0xdd65
movq -0x20(%rbp), %rdi
callq 0x25510
andq $0x3, %rax
cmpq $0x1, %rax
sete %al
andb $0x1, %al
movzbl %al, %eax
cltq
cmpq $0x0, %rax
jne 0xdd65
movq -0x20(%rbp), %rdi
callq 0x25380
movq %rax, -0x108(%rbp)
leaq 0x1b8bb(%rip), %rdi     # 0x295d9
callq 0x216e0
movq %rax, %rcx
movq -0x108(%rbp), %rax
cmpq %rcx, %rax
jne 0xdd65
movq -0x20(%rbp), %rdi
callq 0x25510
movq %rax, %rdi
callq 0x25380
cmpq 0x2163e(%rip), %rax     # 0x2f388
jne 0xdd65
movq -0x8(%rbp), %rdi
movq -0x18(%rbp), %rsi
movq 0x2163d(%rip), %rdx     # 0x2f398
callq 0x1b810
jmp 0xe21c
movq -0x20(%rbp), %rax
movq %rax, -0x110(%rbp)
leaq 0x1b807(%rip), %rdi     # 0x2957e
callq 0x216e0
movq %rax, %rcx
movq -0x110(%rbp), %rax
cmpq %rcx, %rax
jne 0xddc9
movq -0x8(%rbp), %rax
movq %rax, -0x120(%rbp)
movq -0x18(%rbp), %rax
movq %rax, -0x118(%rbp)
movq -0x8(%rbp), %rax
movq 0x30(%rax), %rdi
callq 0x25380
movq -0x120(%rbp), %rdi
movq -0x118(%rbp), %rsi
movq %rax, %rdx
callq 0x1b810
jmp 0xe21a
xorl %eax, %eax
cmpq $0x0, -0x20(%rbp)
movb %al, -0x121(%rbp)
je 0xdded
movq -0x20(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
sete %al
movb %al, -0x121(%rbp)
movb -0x121(%rbp), %al
andb $0x1, %al
movzbl %al, %eax
cltq
cmpq $0x0, %rax
je 0xdebe
leaq 0x21485(%rip), %rax     # 0x2f290
cmpq %rax, -0x20(%rbp)
sete %al
andb $0x1, %al
movzbl %al, %eax
cltq
cmpq $0x0, %rax
jne 0xdebe
movq -0x20(%rbp), %rax
andq $0x3, %rax
cmpq $0x1, %rax
sete %al
andb $0x1, %al
movzbl %al, %eax
cltq
cmpq $0x0, %rax
jne 0xdebe
movq -0x20(%rbp), %rdi
callq 0x25380
movq %rax, -0x130(%rbp)
leaq 0x1b795(%rip), %rdi     # 0x295eb
callq 0x216e0
movq %rax, %rcx
movq -0x130(%rbp), %rax
cmpq %rcx, %rax
jne 0xdebe
movq -0x20(%rbp), %rdi
callq 0x25510
movq %rax, -0x50(%rbp)
movq -0x8(%rbp), %rax
movq %rax, -0x140(%rbp)
movq -0x8(%rbp), %rax
movq 0x30(%rax), %rdi
callq 0x25380
movq %rax, -0x138(%rbp)
movq -0x18(%rbp), %rdi
movq -0x50(%rbp), %rsi
callq 0x25290
movq -0x140(%rbp), %rdi
movq -0x138(%rbp), %rsi
movq %rax, %rdx
callq 0x1b810
jmp 0xe218
xorl %eax, %eax
cmpq $0x0, -0x20(%rbp)
movb %al, -0x141(%rbp)
je 0xdee2
movq -0x20(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
sete %al
movb %al, -0x141(%rbp)
movb -0x141(%rbp), %al
andb $0x1, %al
movzbl %al, %eax
cltq
cmpq $0x0, %rax
je 0xe01d
leaq 0x21390(%rip), %rax     # 0x2f290
cmpq %rax, -0x20(%rbp)
sete %al
andb $0x1, %al
movzbl %al, %eax
cltq
cmpq $0x0, %rax
jne 0xe01d
movq -0x20(%rbp), %rax
andq $0x3, %rax
cmpq $0x1, %rax
sete %al
andb $0x1, %al
movzbl %al, %eax
cltq
cmpq $0x0, %rax
jne 0xe01d
movq -0x20(%rbp), %rdi
callq 0x25510
movq %rax, %rcx
xorl %eax, %eax
cmpq $0x0, %rcx
movb %al, -0x142(%rbp)
je 0xdf6c
movq -0x20(%rbp), %rdi
callq 0x25510
andq $0x3, %rax
cmpq $0x0, %rax
sete %al
movb %al, -0x142(%rbp)
movb -0x142(%rbp), %al
andb $0x1, %al
movzbl %al, %eax
cltq
cmpq $0x0, %rax
je 0xe01d
movq -0x20(%rbp), %rdi
callq 0x25510
leaq 0x212fd(%rip), %rcx     # 0x2f290
cmpq %rcx, %rax
sete %al
andb $0x1, %al
movzbl %al, %eax
cltq
cmpq $0x0, %rax
jne 0xe01d
movq -0x20(%rbp), %rdi
callq 0x25510
andq $0x3, %rax
cmpq $0x1, %rax
sete %al
andb $0x1, %al
movzbl %al, %eax
cltq
cmpq $0x0, %rax
jne 0xe01d
movq -0x20(%rbp), %rdi
callq 0x25380
movq %rax, -0x150(%rbp)
leaq 0x1b611(%rip), %rdi     # 0x295ef
callq 0x216e0
movq %rax, %rcx
movq -0x150(%rbp), %rax
cmpq %rcx, %rax
jne 0xe01d
movq -0x20(%rbp), %rdi
callq 0x25510
movq %rax, %rdi
callq 0x25380
movq %rax, -0x58(%rbp)
movq -0x8(%rbp), %rdi
movq -0x18(%rbp), %rsi
movq -0x58(%rbp), %rdx
callq 0x1b810
jmp 0xe216
movq -0x20(%rbp), %rax
movq %rax, -0x158(%rbp)
leaq 0x1b5c6(%rip), %rdi     # 0x295f5
callq 0x216e0
movq %rax, %rcx
movq -0x158(%rbp), %rax
cmpq %rcx, %rax
jne 0xe094
movq 0x2135e(%rip), %rax     # 0x2f3a8
movq %rax, -0x60(%rbp)
movq -0x8(%rbp), %rax
movq %rax, -0x168(%rbp)
movq -0x18(%rbp), %rax
movq %rax, -0x160(%rbp)
movq -0x60(%rbp), %rax
movq 0x10(%rax), %rax
movq -0x60(%rbp), %rdi
leaq 0x1b0e6(%rip), %rsi     # 0x2915d
callq *%rax
movq -0x168(%rbp), %rdi
movq -0x160(%rbp), %rsi
movq %rax, %rdx
callq 0x1b810
jmp 0xe214
xorl %eax, %eax
cmpq $0x0, -0x20(%rbp)
movb %al, -0x169(%rbp)
je 0xe0b8
movq -0x20(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
sete %al
movb %al, -0x169(%rbp)
movb -0x169(%rbp), %al
andb $0x1, %al
movzbl %al, %eax
cltq
cmpq $0x0, %rax
je 0xe198
leaq 0x211ba(%rip), %rax     # 0x2f290
cmpq %rax, -0x20(%rbp)
sete %al
andb $0x1, %al
movzbl %al, %eax
cltq
cmpq $0x0, %rax
jne 0xe198
movq -0x20(%rbp), %rax
andq $0x3, %rax
cmpq $0x1, %rax
sete %al
andb $0x1, %al
movzbl %al, %eax
cltq
cmpq $0x0, %rax
jne 0xe198
movq -0x20(%rbp), %rdi
callq 0x25380
movq %rax, -0x178(%rbp)
leaq 0x1b4d6(%rip), %rdi     # 0x295fb
callq 0x216e0
movq %rax, %rcx
movq -0x178(%rbp), %rax
cmpq %rcx, %rax
jne 0xe198
movq -0x20(%rbp), %rdi
callq 0x25510
movl $0x83, %ecx
cmpq %rcx, %rax
jne 0xe198
movq 0x21255(%rip), %rax     # 0x2f3a8
movq %rax, -0x68(%rbp)
movq -0x8(%rbp), %rax
movq %rax, -0x188(%rbp)
movq -0x18(%rbp), %rax
movq %rax, -0x180(%rbp)
movq -0x68(%rbp), %rax
movq 0x8(%rax), %rax
movq -0x68(%rbp), %rdi
movl $0xa7, %esi
callq *%rax
movq -0x188(%rbp), %rdi
movq -0x180(%rbp), %rsi
movq %rax, %rdx
callq 0x1b810
jmp 0xe212
movq -0x8(%rbp), %rax
movq %rax, -0x198(%rbp)
movq -0x8(%rbp), %rdi
leaq -0x865e(%rip), %rsi     # 0x5b50
leaq 0x210db(%rip), %rdx     # 0x2f290
callq 0x1b6f0
movq %rax, -0x190(%rbp)
leaq 0x1b43e(%rip), %rdi     # 0x29606
callq 0x216e0
movq %rax, -0x1a0(%rbp)
movq -0x8(%rbp), %rax
movq 0x30(%rax), %rdi
callq 0x25380
movq %rax, %rdi
movq -0x20(%rbp), %rsi
callq 0x25290
movq -0x1a0(%rbp), %rdi
movq %rax, %rsi
callq 0x25290
movq -0x198(%rbp), %rdi
movq -0x190(%rbp), %rsi
movq %rax, %rdx
callq 0x1b810
jmp 0xe214
jmp 0xe216
jmp 0xe218
jmp 0xe21a
jmp 0xe21c
jmp 0xe21e
jmp 0xe220
jmp 0xe222
jmp 0xe224
movl $0x3f4, -0x3c(%rbp)     # imm = 0x3F4
leaq -0x48(%rbp), %rdi
callq 0x28660
addq $0x1a0, %rsp            # imm = 0x1A0
popq %rbp
retq
nopl (%rax)