typedef N is in RbmTypes.bsv