Probando ida_star. Me esta dando segmentation fault