[semi-functional] multiple annotations