An audio editor for iOS