Top level mutable data structures problem