updated for current connectal
updated for Bluespec-2014.07.A