including pico2wave.c for debugging