const animation_play_state_setterinfo: JSJitInfo;