FUTURE
main.c
--variable --pointers --arrays --structs --verify
^EXIT=0$
^SIGNAL=0$
^\[main\.assertion\.1\] .* assertion y==4: UNKNOWN$
^\[main\.assertion\.2\] .* assertion y2==0: UNKNOWN$
^\[main\.assertion\.3\] .* assertion z==0: SUCCESS$
^\[main\.assertion\.4\] .* assertion w==18: SUCCESS$
--
^warning: ignoring
