// Error: 1-5 label does not exist in the document
@foo