Initialise the array as empty here instead of in load_migration_state()?