Reverse Compilation for Digital Signal Processors: A Working Example