You would use at9tool.exe if you are:

: If your output results in a 0kb file, ensure your source audio is a stereo WAV file, as certain bitrates require two channels to encode correctly.