mp3/codec/fixpt/pub
