Part 2 of 2: AIFF encoding for abcde