/** Plays an animation, stacked with other animations. If no animations are
playing yet, the object's current matrix is used as the base. */
void play_stacked(AnimatedObject &, const Animation &);
/** Plays an animation, stacked with other animations. If no animations are
playing yet, the object's current matrix is used as the base. */
void play_stacked(AnimatedObject &, const Animation &);