I-variable annotation