bluespec support added