const bodyUsed_getterinfo: JSJitInfo;