By the way, this common message from GCC is not ideal for us:

> Adam Kandur via Bug reports for GNU Guix 写道：
>> c++: internal compiler error: Killed (program cc1plus)
>> Please submit a full bug report,
>> with preprocessed source if appropriate.
>> See <https://gcc.gnu.org/bugs/> for instructions.

People are impatient and read only ‘Please submit a full bug 
report’ or, if they do read on, could be forgiven for missing a 
different gnu.org subdomain or thinking ‘I already know how to 
report Guix bugs, thanks’.

Oh well.

Kind regards,

T G-R