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