regularize interface part of Top.bsv for examples