let label_declaration = Gram.Entry.mk "label_declaration"