@extern putchar fun: character u32 -> u32 main fun -> u32 text data <- "Hello, world!\n" rep i u32 <- 0, text[i] != 0: putchar(text[i]) i <- i + 1 ; ret 0 ;