format binary
use32
org $1000000
jmp __global_0
; DECL a -> integer, 0
; DECL b -> integer, 0
; DECL c -> integer, 0
__global_0:
; LET a <- 2 
mov eax, 2
push eax
pop eax
mov [a], eax
; LET b <- 1 
mov eax, 1
push eax
pop eax
mov [b], eax
; TEST a b > 
mov eax, [a]
push eax
mov eax, [b]
push eax
pop ebx
pop eax
cmp eax, ebx
ja __global_3
mov eax, 0
jmp __global_4
__global_3: mov eax, 1
__global_4:
push eax
pop eax
mov ebx, 0
cmp eax, ebx
je __global_1
; LET c <- 42 
mov eax, 42
push eax
pop eax
mov [c], eax
jmp __global_2
__global_1:
; LET c <- 0 
mov eax, 0
push eax
pop eax
mov [c], eax
__global_2:
hlt
c: dd $00000000
b: dd $00000000
a: dd $00000000