const played_getterinfo: JSJitInfo;