add comments on INST_FOREACH_*