# The `SharedPreferences` used to implement the `DataStore`
	var shared_preferences = new SharedPreferences.privately(app, "data_store") is lazy