Variables can be modified through the foreign C interface

Vésy Jordan <[email protected]> Sun, 22 May 2022 16:59:06 +0000
Newsgroups gmane.comp.gnu.prolog.bugs
Message-ID <ZRAP278MB067320B13D06E58A4880AD62B7D59@ZRAP278MB0673.CHEP278.PROD.OUTLOOK.COM>
--_000_ZRAP278MB067320B13D06E58A4880AD62B7D59ZRAP278MB0673CHEP_
Content-Type: text/plain; charset="utf-8"
Content-Transfer-Encoding: base64

SGVsbG8sDQoNCm9uIEdOVSBQcm9sb2cgMS41LjAgdGVzdGVkIG9uIEFyY2ggTGludXggd2l0aCBr
ZXJuZWwgNS4xNy44LA0KDQp3aXRoDQotLS0tLS0tLS0tIGJ1Z2dlZC5wbCAtLS0tLS0tLS0tDQo6
LSBmb3JlaWduKG1hZ2ljKHRlcm0pKS4NCmdvKFgpIDotDQogICAgWCA9IHZhbHVlKDApLA0KICAg
IG1hZ2ljKFgpLg0KDQotLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tDQoNCg0KYW5kDQoN
Ci0tLS0tLS0tLS0gYnVnZ2VkLmMgLS0tLS0tLS0tLQ0KDQojaW5jbHVkZSAiZ3Byb2xvZy5oIg0K
UGxCb29sIG1hZ2ljKFBsVGVybSB0ZXJtKSB7DQogICAgaW50IGZ1bmN0b3IsIGFyaXR5Ow0KICAg
IFBsVGVybSAqYXJncyA9IFBsX1JkX0NvbXBvdW5kX0NoZWNrKHRlcm0sICZmdW5jdG9yLCAmYXJp
dHkpOw0KICAgIGFyZ3NbMF0gPSBQbF9Na19OdW1iZXIoMSk7DQogICAgcmV0dXJuIFBMX1RSVUU7
DQp9DQoNCi0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLQ0KDQoNCg0KVGhlIHZhbHVlIG9m
IHRoZSBYIHZhcmlhYmxlIGlzIG1vZGlmaWVkIGxpa2UgdGhpczoNCg0KLS0tLS0tLS0tLS0tLS0t
LS0tLS0tLS0tLS0tLS0NCg0K4oCLfCA/LSBnbyhYKS4NCg0KWCA9IHZhbHVlKDEpDQoNCi0tLS0t
LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tDQoNCg0KU2hvdWxkbid0IGl0IGVpdGhlciBmYWlsIG9y
IGxlYXZlIFggYXQgInZhbHVlKDApIiBpbnN0ZWFkIG9mIG1vZGlmeWluZyBpdHMgdmFsdWUgPw0K
DQpUaGFua3MsDQoNCkpvcmRhbiBWw6lzeQ0K

--_000_ZRAP278MB067320B13D06E58A4880AD62B7D59ZRAP278MB0673CHEP_
Content-Type: text/html; charset="utf-8"
Content-Transfer-Encoding: base64

PGh0bWw+DQo8aGVhZD4NCjxtZXRhIGh0dHAtZXF1aXY9IkNvbnRlbnQtVHlwZSIgY29udGVudD0i
dGV4dC9odG1sOyBjaGFyc2V0PXV0Zi04Ij4NCjxzdHlsZSB0eXBlPSJ0ZXh0L2NzcyIgc3R5bGU9
ImRpc3BsYXk6bm9uZTsiPiBQIHttYXJnaW4tdG9wOjA7bWFyZ2luLWJvdHRvbTowO30gPC9zdHls
ZT4NCjwvaGVhZD4NCjxib2R5IGRpcj0ibHRyIj4NCjxkaXYgc3R5bGU9ImZvbnQtZmFtaWx5OiBD
YWxpYnJpLCBBcmlhbCwgSGVsdmV0aWNhLCBzYW5zLXNlcmlmOyBmb250LXNpemU6IDEycHQ7IGNv
bG9yOiByZ2IoMCwgMCwgMCk7IiBjbGFzcz0iZWxlbWVudFRvUHJvb2YiPg0KSGVsbG8sPC9kaXY+
DQo8ZGl2IHN0eWxlPSJmb250LWZhbWlseTogQ2FsaWJyaSwgQXJpYWwsIEhlbHZldGljYSwgc2Fu
cy1zZXJpZjsgZm9udC1zaXplOiAxMnB0OyBjb2xvcjogcmdiKDAsIDAsIDApOyIgY2xhc3M9ImVs
ZW1lbnRUb1Byb29mIj4NCjxicj4NCjwvZGl2Pg0KPGRpdiBzdHlsZT0iZm9udC1mYW1pbHk6IENh
bGlicmksIEFyaWFsLCBIZWx2ZXRpY2EsIHNhbnMtc2VyaWY7IGZvbnQtc2l6ZTogMTJwdDsgY29s
b3I6IHJnYigwLCAwLCAwKTsiIGNsYXNzPSJlbGVtZW50VG9Qcm9vZiI+DQpvbiBHTlUgUHJvbG9n
IDEuNS4wIHRlc3RlZCBvbiBBcmNoIExpbnV4IHdpdGgga2VybmVsIDUuMTcuOCw8YnI+DQo8L2Rp
dj4NCjxkaXYgc3R5bGU9ImZvbnQtZmFtaWx5OiBDYWxpYnJpLCBBcmlhbCwgSGVsdmV0aWNhLCBz
YW5zLXNlcmlmOyBmb250LXNpemU6IDEycHQ7IGNvbG9yOiByZ2IoMCwgMCwgMCk7IiBjbGFzcz0i
ZWxlbWVudFRvUHJvb2YiPg0KPGJyPg0KPC9kaXY+DQo8ZGl2IHN0eWxlPSJmb250LWZhbWlseTog
Q2FsaWJyaSwgQXJpYWwsIEhlbHZldGljYSwgc2Fucy1zZXJpZjsgZm9udC1zaXplOiAxMnB0OyBj
b2xvcjogcmdiKDAsIDAsIDApOyIgY2xhc3M9ImVsZW1lbnRUb1Byb29mIj4NCndpdGg8YnI+DQo8
L2Rpdj4NCjxkaXYgc3R5bGU9ImZvbnQtZmFtaWx5OiBDYWxpYnJpLCBBcmlhbCwgSGVsdmV0aWNh
LCBzYW5zLXNlcmlmOyBmb250LXNpemU6IDEycHQ7IGNvbG9yOiByZ2IoMCwgMCwgMCk7IiBjbGFz
cz0iZWxlbWVudFRvUHJvb2YiPg0KPHNwYW4gc3R5bGU9ImZvbnQtZmFtaWx5OiBtb25vc3BhY2U7
IGZvbnQtc2l6ZTogOXB0OyI+LS0tLS0tLS0tLSBidWdnZWQucGwgLS0tLS0tLS0tLTwvc3Bhbj48
L2Rpdj4NCjxkaXYgc3R5bGU9ImZvbnQtZmFtaWx5OiBDYWxpYnJpLCBBcmlhbCwgSGVsdmV0aWNh
LCBzYW5zLXNlcmlmOyBmb250LXNpemU6IDEycHQ7IGNvbG9yOiByZ2IoMCwgMCwgMCk7IiBjbGFz
cz0iZWxlbWVudFRvUHJvb2YiPg0KPHNwYW4gc3R5bGU9ImZvbnQtZmFtaWx5OiBtb25vc3BhY2U7
IGZvbnQtc2l6ZTogOXB0OyI+Oi0gZm9yZWlnbihtYWdpYyh0ZXJtKSkuPC9zcGFuPg0KPGRpdj48
c3BhbiBzdHlsZT0iZm9udC1mYW1pbHk6IG1vbm9zcGFjZTsgZm9udC1zaXplOiA5cHQ7Ij5nbyhY
KSA6LTwvc3Bhbj48L2Rpdj4NCjxkaXY+PHNwYW4gc3R5bGU9ImZvbnQtZmFtaWx5OiBtb25vc3Bh
Y2U7IGZvbnQtc2l6ZTogOXB0OyI+Jm5ic3A7Jm5ic3A7Jm5ic3A7IFggPSB2YWx1ZSgwKSw8L3Nw
YW4+PC9kaXY+DQo8L2Rpdj4NCjxkaXYgc3R5bGU9ImZvbnQtZmFtaWx5OiBDYWxpYnJpLCBBcmlh
bCwgSGVsdmV0aWNhLCBzYW5zLXNlcmlmOyBmb250LXNpemU6IDEycHQ7IGNvbG9yOiByZ2IoMCwg
MCwgMCk7IiBjbGFzcz0iZWxlbWVudFRvUHJvb2YiPg0KPHNwYW4gc3R5bGU9ImZvbnQtZmFtaWx5
OiBtb25vc3BhY2U7IGZvbnQtc2l6ZTogOXB0OyI+Jm5ic3A7Jm5ic3A7Jm5ic3A7IG1hZ2ljKFgp
Ljwvc3Bhbj48L2Rpdj4NCjxkaXYgc3R5bGU9ImZvbnQtZmFtaWx5OiBDYWxpYnJpLCBBcmlhbCwg
SGVsdmV0aWNhLCBzYW5zLXNlcmlmOyBmb250LXNpemU6IDEycHQ7IGNvbG9yOiByZ2IoMCwgMCwg
MCk7IiBjbGFzcz0iZWxlbWVudFRvUHJvb2YiPg0KPHByZSBzdHlsZT0ibWFyZ2luOjBlbSI+PHNw
YW4gc3R5bGU9ImZvbnQtZmFtaWx5OiBtb25vc3BhY2U7IGZvbnQtc2l6ZTogOXB0OyIgY2xhc3M9
ImVsZW1lbnRUb1Byb29mIj4tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tPGJyPjxicj48
L3NwYW4+PC9wcmU+DQo8cHJlIHN0eWxlPSJtYXJnaW46MGVtIiBjbGFzcz0iZWxlbWVudFRvUHJv
b2YiPjxzcGFuIHN0eWxlPSJmb250LWZhbWlseTogQ2FsaWJyaSwgSGVsdmV0aWNhLCBzYW5zLXNl
cmlmOyBmb250LXNpemU6IDEycHQ7IiBjbGFzcz0iZWxlbWVudFRvUHJvb2YiPmFuZDwvc3Bhbj48
c3BhbiBzdHlsZT0iZm9udC1mYW1pbHk6IG1vbm9zcGFjZTsgZm9udC1zaXplOiA5cHQ7IiBjbGFz
cz0iZWxlbWVudFRvUHJvb2YiPjxicj48L3NwYW4+PC9wcmU+DQo8cHJlIHN0eWxlPSJtYXJnaW46
MGVtIj48c3BhbiBzdHlsZT0iZm9udC1mYW1pbHk6IG1vbm9zcGFjZTsgZm9udC1zaXplOiA5cHQ7
IiBjbGFzcz0iZWxlbWVudFRvUHJvb2YiPjxzcGFuIHN0eWxlPSJmb250LWZhbWlseTpDYWxpYnJp
LCBBcmlhbCwgSGVsdmV0aWNhLCBzYW5zLXNlcmlmO2ZvbnQtc2l6ZToxMnB0Ij48c3BhbiBzdHls
ZT0iZm9udC1mYW1pbHk6bW9ub3NwYWNlO2ZvbnQtc2l6ZTo5cHQiPjwvc3Bhbj48L3NwYW4+PC9z
cGFuPjxzcGFuIHN0eWxlPSJmb250LWZhbWlseTptb25vc3BhY2U7Zm9udC1zaXplOjlwdCI+PC9z
cGFuPjxzcGFuIHN0eWxlPSJmb250LWZhbWlseTogbW9ub3NwYWNlOyBmb250LXNpemU6IDlwdDsi
IGNsYXNzPSJlbGVtZW50VG9Qcm9vZiI+PHNwYW4gc3R5bGU9ImZvbnQtZmFtaWx5OkNhbGlicmks
IEFyaWFsLCBIZWx2ZXRpY2EsIHNhbnMtc2VyaWY7Zm9udC1zaXplOjEycHQiPjwvc3Bhbj48L3Nw
YW4+PHNwYW4gc3R5bGU9ImZvbnQtZmFtaWx5OiBtb25vc3BhY2U7IGZvbnQtc2l6ZTogOXB0OyIg
Y2xhc3M9ImVsZW1lbnRUb1Byb29mIj48ZGl2IHN0eWxlPSJmb250LWZhbWlseTpDYWxpYnJpLCBB
cmlhbCwgSGVsdmV0aWNhLCBzYW5zLXNlcmlmO2ZvbnQtc2l6ZToxMnB0Ij48cHJlIHN0eWxlPSJt
YXJnaW46MGVtIj48c3BhbiBzdHlsZT0iZm9udC1mYW1pbHk6bW9ub3NwYWNlO2ZvbnQtc2l6ZTo5
cHQiPjxwcmUgc3R5bGU9Im1hcmdpbjowZW0iPjxzcGFuIHN0eWxlPSJmb250LXNpemU6OXB0Ij48
c3BhbiBzdHlsZT0iZm9udC1zaXplOjlwdCI+LS0tLS0tLS0tLTwvc3Bhbj4gYnVnZ2VkLmMgPHNw
YW4gc3R5bGU9ImZvbnQtc2l6ZTo5cHQiPi0tLS0tLS0tLS08L3NwYW4+PC9zcGFuPjwvcHJlPjwv
c3Bhbj48L3ByZT48L2Rpdj48L3NwYW4+PHNwYW4gc3R5bGU9ImZvbnQtZmFtaWx5OiBtb25vc3Bh
Y2U7IGZvbnQtc2l6ZTogOXB0OyIgY2xhc3M9ImVsZW1lbnRUb1Byb29mIj4jaW5jbHVkZSAmcXVv
dDtncHJvbG9nLmgmcXVvdDs8ZGl2PlBsQm9vbCBtYWdpYyhQbFRlcm0gdGVybSkgezwvZGl2Pjxk
aXY+Jm5ic3A7ICZuYnNwOyBpbnQgZnVuY3RvciwgYXJpdHk7PC9kaXY+PGRpdj4mbmJzcDsgJm5i
c3A7IFBsVGVybSAqYXJncyA9IFBsX1JkX0NvbXBvdW5kX0NoZWNrKHRlcm0sICZhbXA7ZnVuY3Rv
ciwgJmFtcDthcml0eSk7PC9kaXY+PGRpdj4mbmJzcDsgJm5ic3A7IGFyZ3NbMF0gPSBQbF9Na19O
dW1iZXIoMSk7PC9kaXY+PGRpdj4mbmJzcDsgJm5ic3A7IHJldHVybiBQTF9UUlVFOzwvZGl2Pn08
c3BhbiBzdHlsZT0iZm9udC1mYW1pbHk6Q2FsaWJyaSwgQXJpYWwsIEhlbHZldGljYSwgc2Fucy1z
ZXJpZjtmb250LXNpemU6MTJwdCI+PHNwYW4gc3R5bGU9ImZvbnQtZmFtaWx5Om1vbm9zcGFjZTtm
b250LXNpemU6OXB0Ij48L3NwYW4+PC9zcGFuPjwvc3Bhbj48c3BhbiBzdHlsZT0iZm9udC1mYW1p
bHk6bW9ub3NwYWNlO2ZvbnQtc2l6ZTo5cHQiPjwvc3Bhbj48c3BhbiBzdHlsZT0iZm9udC1mYW1p
bHk6IG1vbm9zcGFjZTsgZm9udC1zaXplOiA5cHQ7IiBjbGFzcz0iZWxlbWVudFRvUHJvb2YiPjxz
cGFuIHN0eWxlPSJmb250LWZhbWlseTpDYWxpYnJpLCBBcmlhbCwgSGVsdmV0aWNhLCBzYW5zLXNl
cmlmO2ZvbnQtc2l6ZToxMnB0Ij48L3NwYW4+PC9zcGFuPjxzcGFuIHN0eWxlPSJmb250LWZhbWls
eTogbW9ub3NwYWNlOyBmb250LXNpemU6IDlwdDsiIGNsYXNzPSJlbGVtZW50VG9Qcm9vZiI+PGRp
diBzdHlsZT0iZm9udC1mYW1pbHk6Q2FsaWJyaSwgQXJpYWwsIEhlbHZldGljYSwgc2Fucy1zZXJp
Zjtmb250LXNpemU6MTJwdCI+PHByZSBzdHlsZT0ibWFyZ2luOjBlbSI+PHNwYW4gc3R5bGU9ImZv
bnQtZmFtaWx5Om1vbm9zcGFjZTtmb250LXNpemU6OXB0Ij48cHJlIHN0eWxlPSJtYXJnaW46MGVt
Ij48c3BhbiBzdHlsZT0iZm9udC1zaXplOjlwdCI+LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t
LS0tPGJyPjxicj48YnI+PC9zcGFuPjwvcHJlPjwvc3Bhbj48L3ByZT48L2Rpdj48L3NwYW4+PC9w
cmU+DQo8c3BhbiBzdHlsZT0iZm9udC1zaXplOjEycHQiPjwvc3Bhbj4NCjxkaXYgc3R5bGU9ImZv
bnQtc2l6ZToxMnB0IiBjbGFzcz0iZWxlbWVudFRvUHJvb2YiPlRoZSB2YWx1ZSBvZiB0aGUgWCB2
YXJpYWJsZSBpcyBtb2RpZmllZCBsaWtlIHRoaXM6PC9kaXY+DQo8ZGl2IHN0eWxlPSJmb250LXNp
emU6MTJwdCIgY2xhc3M9ImVsZW1lbnRUb1Byb29mIj4NCjxwcmUgc3R5bGU9Im1hcmdpbjowZW0i
PjxzcGFuIHN0eWxlPSJmb250LWZhbWlseTptb25vc3BhY2U7Zm9udC1zaXplOjlwdCI+PGRpdiBz
dHlsZT0iZm9udC1mYW1pbHk6Q2FsaWJyaSwgQXJpYWwsIEhlbHZldGljYSwgc2Fucy1zZXJpZjtm
b250LXNpemU6MTJwdCI+PHByZSBzdHlsZT0ibWFyZ2luOjBlbSI+PHNwYW4gc3R5bGU9ImZvbnQt
ZmFtaWx5Om1vbm9zcGFjZTtmb250LXNpemU6OXB0Ij48cHJlIHN0eWxlPSJtYXJnaW46MGVtIj48
c3Bhbj48c3Bhbj4tLS0tLS0tLS0tPC9zcGFuPi0tLS0tLS0tLTxzcGFuPi0tLS0tLS0tLS08L3Nw
YW4+PC9zcGFuPjwvcHJlPjwvc3Bhbj48L3ByZT48L2Rpdj48L3NwYW4+PHNwYW4gc3R5bGU9ImZv
bnQtZmFtaWx5Om1vbm9zcGFjZTtmb250LXNpemU6OXB0Ij48c3BhbiBzdHlsZT0iZm9udC1zaXpl
OjEycHQiPjxzcGFuIHN0eWxlPSJmb250LXNpemU6OXB0Ij7igIt8ID8tIGdvKFgpLjwvc3Bhbj48
L3NwYW4+PGRpdiBzdHlsZT0iZm9udC1zaXplOjEycHQiPjxzcGFuIHN0eWxlPSJmb250LXNpemU6
OXB0Ij48ZGl2Pjxicj48L2Rpdj5YID0gdmFsdWUoMSk8L3NwYW4+PHNwYW4gc3R5bGU9ImZvbnQt
ZmFtaWx5Om1vbm9zcGFjZTtmb250LXNpemU6OXB0Ij48L3NwYW4+PHNwYW4gc3R5bGU9ImZvbnQt
ZmFtaWx5Om1vbm9zcGFjZTtmb250LXNpemU6OXB0Ij48c3BhbiBzdHlsZT0iZm9udC1mYW1pbHk6
Q2FsaWJyaSwgQXJpYWwsIEhlbHZldGljYSwgc2Fucy1zZXJpZjtmb250LXNpemU6MTJwdCI+PC9z
cGFuPjwvc3Bhbj48L2Rpdj48L3NwYW4+PHNwYW4gc3R5bGU9ImZvbnQtZmFtaWx5Om1vbm9zcGFj
ZTtmb250LXNpemU6OXB0Ij48ZGl2IHN0eWxlPSJmb250LWZhbWlseTpDYWxpYnJpLCBBcmlhbCwg
SGVsdmV0aWNhLCBzYW5zLXNlcmlmO2ZvbnQtc2l6ZToxMnB0Ij48cHJlIHN0eWxlPSJtYXJnaW46
MGVtIj48c3BhbiBzdHlsZT0iZm9udC1mYW1pbHk6bW9ub3NwYWNlO2ZvbnQtc2l6ZTo5cHQiPjxw
cmUgc3R5bGU9Im1hcmdpbjowZW0iPjxzcGFuPi0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t
PGJyPjxicj48L3NwYW4+PC9wcmU+PHByZSBzdHlsZT0ibWFyZ2luOjBlbSI+PHNwYW4gc3R5bGU9
ImZvbnQtZmFtaWx5OiBDYWxpYnJpLCBIZWx2ZXRpY2EsIHNhbnMtc2VyaWY7IGZvbnQtc2l6ZTog
MTJwdDsiPjwvc3Bhbj48L3ByZT48L3NwYW4+PC9wcmU+PC9kaXY+PC9zcGFuPjwvcHJlPg0KPC9k
aXY+DQpTaG91bGRuJ3QgaXQgZWl0aGVyIGZhaWwgb3IgbGVhdmUgWCBhdCAmcXVvdDt2YWx1ZSgw
KSZxdW90OyBpbnN0ZWFkIG9mIG1vZGlmeWluZyBpdHMgdmFsdWUgPzwvZGl2Pg0KPGRpdiBzdHls
ZT0iZm9udC1mYW1pbHk6IENhbGlicmksIEFyaWFsLCBIZWx2ZXRpY2EsIHNhbnMtc2VyaWY7IGZv
bnQtc2l6ZTogMTJwdDsgY29sb3I6IHJnYigwLCAwLCAwKTsiIGNsYXNzPSJlbGVtZW50VG9Qcm9v
ZiI+DQo8YnI+DQo8L2Rpdj4NCjxkaXYgc3R5bGU9ImZvbnQtZmFtaWx5OiBDYWxpYnJpLCBBcmlh
bCwgSGVsdmV0aWNhLCBzYW5zLXNlcmlmOyBmb250LXNpemU6IDEycHQ7IGNvbG9yOiByZ2IoMCwg
MCwgMCk7IiBjbGFzcz0iZWxlbWVudFRvUHJvb2YiPg0KVGhhbmtzLDwvZGl2Pg0KPGRpdiBzdHls
ZT0iZm9udC1mYW1pbHk6IENhbGlicmksIEFyaWFsLCBIZWx2ZXRpY2EsIHNhbnMtc2VyaWY7IGZv
bnQtc2l6ZTogMTJwdDsgY29sb3I6IHJnYigwLCAwLCAwKTsiIGNsYXNzPSJlbGVtZW50VG9Qcm9v
ZiI+DQo8YnI+DQo8L2Rpdj4NCjxkaXYgc3R5bGU9ImZvbnQtZmFtaWx5OiBDYWxpYnJpLCBBcmlh
bCwgSGVsdmV0aWNhLCBzYW5zLXNlcmlmOyBmb250LXNpemU6IDEycHQ7IGNvbG9yOiByZ2IoMCwg
MCwgMCk7IiBjbGFzcz0iZWxlbWVudFRvUHJvb2YiPg0KSm9yZGFuIFbDqXN5PGJyPg0KPC9kaXY+
DQo8L2JvZHk+DQo8L2h0bWw+DQo=

--_000_ZRAP278MB067320B13D06E58A4880AD62B7D59ZRAP278MB0673CHEP_--