Commit 1165bf0ff8def911702dbb78b8fbb48f1043ced6

Thomas de Grivel 2024-12-03T11:06:11

g_kc3_env as a pointer