case :a
  in *a, :+, *b
end
