simplify interrupt code in Generated BSV