proc main(): void {
x := 1 // inferred, immutable
mut count := 0 // inferred, reassignable
mut Str[dyn] rows = [] // annotated: says "dynamic"
MAX := 100 // a constant, by its shape alone
count = count + 1
append(rows, "first")
echo "{x} {count} {rows} {MAX}"
}