.include "include/uskel.s"

.include "include/data.s"

# || -> cont
.thunkcode main
	# push a new integer
	pushq $100
	pushq $INT_code
	mov %rsp, %r11 # backup first arg

	# push another new integer
	pushq $23
	pushq $INT_code
	mov %rsp, %r12 # backup second arg

	# push the plus
	push %r12
	push %r11
	pushq $2
	pushq $plus
	mov %rsp, %r13 # backup plus

	# push a cont thunk for main_exit
	push %rsi
	pushq $1
	pushq $main_exit

	# evaluate into main_exit
	mov %rsp, %rsi
	enter %r13

.include "include/main_exit.s"

.include "include/intops.s"