const onplaying_setterinfo: JSJitInfo;