lib/BPFCov.cpp (4 lines):
	- line 279: /*Initializer=*/ConstantInt::get(Ty1, 0, true), // TODO > we want this or zeroinitializer?
	- line 292: /*Initializer=*/ConstantInt::get(Ty1, 0, true), // TODO > we want this or zeroinitializer?
	- line 321: /*Initializer=*/ConstantInt::get(Ty5, 0, true), // TODO > obtain from the array values
	- line 745: // #2 Register for running at "default<O2>" // TODO > double-check