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