format binary
use32
org $1000000
jmp __global_0
; DECL i -> integer, 0
; DECL b -> boolean, false
__global_0:
; LET i <- 1 
mov eax, 1
push eax
pop eax
mov [i], eax
; LET b <-