About: Very bad c file with known deep flow issues. Goal: Test the level of deepflow checks a code analyzer provides