Analysis: Make %I in printf more reasonable, add more tests