Those are part of the SGI audio library and I woudn't expect them
to be available under Linux.
LINUX® is a registered trademark of Linus Torvalds in the USA and other countries. Linuxaudio.org logo copyright Thorsten Wilms © 2006. Hosting provided by the Virginia Tech Department of Music and DISIS.