Animando imagens em Plymouth

Question

Estou tentando animar uma imagem para um tema de inicialização personalizado do Plymouth. Consigo fazer com que o objeto se mova em incrementos de pixel, mas ele não é atualizado com rapidez suficiente para ser suave. Não entendo muito bem o truque para atualizar a tela em determinados intervalos de quadros. O código que tenho é assim:

wallpaper_image = Image("Win95.png");
plane_image = Image("paperairplaneShadow.png");
screen_width = Window.GetWidth();
screen_height = Window.GetHeight();
resized_wallpaper_image = wallpaper_image.Scale(screen_width,screen_height);
plane_sprite = Sprite(plane_image);

wallpaper_sprite = Sprite(resized_wallpaper_image);
wallpaper_sprite.SetZ(-100);

progress=0;
fun refresh_callback ()
 {
    for (i = 0; i < 4; i++){
    plane_images[i] = Image("paperairplaneShadow" + i + ".png");
    plane_sprite = Sprite();
}


plane_sprite.SetImage(plane_images[Math.Int(progress/6) % 4]);
//plane_sprite.SetImage(plane_images[]);
plane_sprite.SetX(progress);
//plane_sprite.SetY(progress);


 progress++;


 }
Plymouth.SetUpdateStatusFunction(refresh_callback);

Eu estava seguindo o tutorial emhttp://brej.org/blog/?p=197. Não consigo entender como funciona a alteração da taxa de quadros:

butterfly_sprite.SetImage(butterfly_images[Math.Int(progress / 6) % 4]);

O site diz que deve colocar a próxima imagem no array Butterfly.sprite (que possui 4 imagens) a cada 6 frames. No meu script, o plane_sprite será atualizado, mas apenas uma vez por segundo. Qualquer ajuda seria muito apreciada.