Initialize variables
Increase verbosity of scan-build