addFilter(".*Program returns random data in a function")
addFilter(".*no-return-in-nonvoid-function")
