#module hello
default-name ← “world”
make-string ← # (name: optional[string]): string
!name ← name or default-name
“Hello, ‘name’!”
#main (args)
args at 0 – get the first argument
make-string ^ – call make-string with it
print-line ^ – print the returned string