Con el viejo AST ligeramente modificado