Fixed a conflicting function declaration on Debian tool-chain with cbmc. (#7)