wxanimate_from_imgfiles("a.png","b.png","c.png","d.png")$