const defer_getterinfo: JSJitInfo;