From SV-COMP, branch svcomp24, file c/neural-networks/log_0_safe.c-amalgamation.c
