Adicionado iks_ast.c