const animation_play_state_getterinfo: JSJitInfo;