AST_FORMAT is finalized.