indexing description: "Objects that ..." author: "" date: "$Date$" revision: "$Revision$" class EM_SHARED_AUDIO_SUBSYSTEM feature Audio_subsystem: EM_AUDIO_SUBSYSTEM is -- EiffelMedia audio subsystem once create Result.make ensure audio_subsystem_not_void: Result /= Void end end