proc main!() {
  let [] = [1, 2, 3]
}