static setInt(String key, int val) { checkInit(); if (_justCache) cache['$prefix$key'] = val; else sharedPreferences!.setInt('$prefix$key', val); }