labeling MVar and STM data structures