Aspect-oriented programming version of iris