play_sound (file_name: STRING)
Plays the sound file file_name. This function always looks for sound files in the location 'sounds'.
stop_sound multimedia functions Location manager
script restart_intro_movie is play_sound ('correct.wav') end