Annotated Source Files (S):
specs.ads