Symbol: restricted_file_opened