format binary
use32
org $1000000
jmp __global_0
; DECL a -> integer, 0
; DECL b -> integer, 0
; DECL flag -> boolean, false
__global_0:
; LET a <- 573785173 
mov eax, 573785173
push eax
pop eax
mov [a], eax
; LET b <- 1719109785 
mov eax, 1719109785
push eax
pop eax
mov [b], eax
; LET flag <- a b <> 
mov eax, [a]
push eax
mov eax, [b]
push eax
pop ebx
pop eax
cmp eax, ebx
jne __global_1
mov eax, 0
jmp __global_2
__global_1: mov eax, 1
__global_2:
push eax
pop eax
mov [flag], al
hlt
flag: db $00
b: dd $00000000
a: dd $00000000