interruption initialization annotated