const onplay_setterinfo: JSJitInfo;