const attributes_getterinfo: JSJitInfo;