data $___cnst0 = { b "Hello from Quokka!\n", b 0 }
function  $_main() {
@start

call $printf(l $___cnst0)
ret
}


export function w $main() {
@start
  call $_main()
  ret 0
}