Annotation variables are integer