const onplaying_getterinfo: JSJitInfo;