x -> () do
a(1) do
end
end
