Don't you need parens here?

    (local.get 0)
    (local.get 1)

I do, but where does it say so in the spec?