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