const total_getterinfo: JSJitInfo;