WB code for the BlueBuzz prototype generation