unique basic block identifiers