some comments regarding staticchecker