What is this annotation?