ncc: use label identifiers more carefully