FLAC/Ada FLAC audio encoder/decoder in Ada (hopefully SPARK) Right now this is not much more than a stub, so don't expect anything. type Development_Time is limited private;