[ 0:00] --symbolic --sequential -o nofail:malloc [ 0:00] compiling /home/xrockai/src/divine/nightly/test/svcomp/systemc/transmitter.16_false.cil.c