Main annotation, ASTx and tests.