Class ASTAbs